Package net.sf.tweety.lp.asp.writer
Class ClingoWriter
- java.lang.Object
-
- net.sf.tweety.lp.asp.writer.ClingoWriter
-
public class ClingoWriter extends java.lang.Object
Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/). The Clingo input format adheres (mostly) to the ASP-Core-2 language standard. Also works for the basic elements of the DLV input format.- Author:
- Anna Gessler
- See Also:
ClingoSolver
,DLVSolver
-
-
Field Summary
Fields Modifier and Type Field Description private boolean
usePredicateWhitelist
(package private) java.io.Writer
writer
-
Constructor Summary
Constructors Constructor Description ClingoWriter()
ClingoWriter(java.io.Writer writer)
Create a new ClingoWriter with the given writer.ClingoWriter(java.io.Writer writer, boolean b)
-
Method Summary
Modifier and Type Method Description void
close()
void
printProgram(Program p)
Prints programprivate java.lang.String
printRule(ASPRule r)
Creates string representation of a single rule in Clingo format.void
usePredicateWhitelist(boolean b)
-
-
-
Method Detail
-
printProgram
public void printProgram(Program p) throws java.io.IOException
Prints program- Parameters:
p
- a program- Throws:
java.io.IOException
- if an IO issue occurs.
-
printRule
private java.lang.String printRule(ASPRule r)
Creates string representation of a single rule in Clingo format.- Parameters:
r
- an ASP rule- Returns:
- String representation of the rule
-
close
public void close() throws java.io.IOException
- Throws:
java.io.IOException
-
usePredicateWhitelist
public void usePredicateWhitelist(boolean b)
-
-