Package org.tweetyproject.lp.asp.writer
Class DLVWriter
java.lang.Object
org.tweetyproject.lp.asp.writer.DLVWriter
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:
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
DLVWriter
Create a new DLVWriter with the given writer.- Parameters:
writer
- a writer
-
DLVWriter
public DLVWriter()Create a new DLVWriter.
-
-
Method Details
-
printProgram
Prints the given program in DLV format.- Parameters:
p
- a program- Throws:
IOException
- if an IO issue occurs.
-
close
- Throws:
IOException
-