Package org.tweetyproject.lp.asp.writer

Class ClingoWriter

java.lang.Object

org.tweetyproject.lp.asp.writer.ClingoWriter

public class ClingoWriter
extends 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.

Author:

Anna Gessler

See Also:

• ClingoSolver

Constructor Summary

Constructors

Constructor	Description
ClingoWriter()	Create 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 Type	Method	Description
void	close()	close writer
void	printProgram(Program p)	Prints the given program in clingo format.
void	usePredicateWhitelist(boolean b)	set usePredicateWhitelist

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClingoWriter

public ClingoWriter(Writer writer)

Create a new ClingoWriter with the given writer.

Parameters:

writer - a writer

ClingoWriter

public ClingoWriter()

Create a new ClingoWriter.

ClingoWriter

public ClingoWriter(Writer writer,
 boolean usePredicateWhitelist)

Create a new ClingoWriter with the given writer and options.

Parameters:

writer - the writer

usePredicateWhitelist - if set to true, irrelevant atoms are hidden from the output using clingo's #show statement.

Method Details

printProgram

public void printProgram(Program p)
                  throws IOException

Prints the given program in clingo format.

Parameters:

p - a program

Throws:

IOException - if an IO issue occurs.

close

public void close()
           throws IOException

close writer

Throws:

IOException - error

usePredicateWhitelist

public void usePredicateWhitelist(boolean b)

set usePredicateWhitelist

Parameters:

b - boolean