Class 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()	Close writer
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

Close writer

Throws:

IOException - error