DLVWriter

java.lang.Object

org.tweetyproject.lp.asp.writer.DLVWriter

public class DLVWriter extends Object

Prints ASP programs and single rules to the DLV input format (http://www.dlvsystem.com/html/DLV_User_Manual.html).

Author:

Anna Gessler

See Also:

DLVSolver

Constructor Summary

Constructors

Constructor

Description

DLVWriter()

Create a new DLVWriter.

DLVWriter(Writer writer)

Create a new DLVWriter with the given writer.
Method Summary

Modifier and Type

Method

Description

void

close()

void

printProgram(Program p)

Prints the given program in DLV format.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- DLVWriter
  
  public DLVWriter(Writer writer)
  
  Create a new DLVWriter with the given writer.
  
  Parameters:
  
  writer - a writer
- DLVWriter
  
  public DLVWriter()
  
  Create a new DLVWriter.
Method Details
- printProgram
  
  public void printProgram(Program p) throws IOException
  
  Prints the given program in DLV format.
  
  Parameters:
  
  p - a program
  
  Throws:
  
  IOException - if an IO issue occurs.
- close
  
  public void close() throws IOException
  
  Throws:
  
  IOException