Package org.tweetyproject.lp.asp.writer
Class ClingoWriter
java.lang.Object
org.tweetyproject.lp.asp.writer.ClingoWriter
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.
- Author:
- Anna Gessler
- See Also:
ClingoSolver
-
Constructor Summary
ConstructorDescriptionCreate a new ClingoWriter.ClingoWriter(Writer writer)
Create a new ClingoWriter with the given writer.ClingoWriter(Writer writer, boolean usePredicateWhitelist)
Create a new ClingoWriter with the given writer and options. -
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
void
printProgram(Program p)
Prints the given program in clingo format.void
usePredicateWhitelist(boolean b)
-
Constructor Details
-
ClingoWriter
Create a new ClingoWriter with the given writer.- Parameters:
writer
- a writer
-
ClingoWriter
public ClingoWriter()Create a new ClingoWriter. -
ClingoWriter
Create a new ClingoWriter with the given writer and options.- Parameters:
writer
-usePredicateWhitelist
- if set to true, irrelevant atoms are hidden from the output using clingo's #show statement.
-
-
Method Details
-
printProgram
Prints the given program in clingo format.- Parameters:
p
- a program- Throws:
IOException
- if an IO issue occurs.
-
close
- Throws:
IOException
-
usePredicateWhitelist
public void usePredicateWhitelist(boolean b)
-