net.sf.tweety.lp.asp.writer

Class ClingoWriter

java.lang.Object

net.sf.tweety.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. Also works for the basic elements of the DLV input format.

Author:

Anna Gessler

See Also:

ClingoSolver, DLVSolver

Constructor Summary

Constructors

Constructor and Description
ClingoWriter()
ClingoWriter(Writer writer) Create a new ClingoWriter with the given writer.
ClingoWriter(Writer writer, boolean b)

Method Summary

Modifier and Type	Method and Description
void	close()
void	printProgram(Program p) Prints program
void	usePredicateWhitelist(boolean b)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClingoWriter

public ClingoWriter(Writer writer)

Create a new ClingoWriter with the given writer.

Parameters:

writer -

ClingoWriter

public ClingoWriter()

ClingoWriter

public ClingoWriter(Writer writer,
                    boolean b)

Method Detail

printProgram

public void printProgram(Program p)
                  throws IOException

Prints program

Parameters:

p - a program

Throws:

IOException

close

public void close()
           throws IOException

Throws:

IOException

usePredicateWhitelist

public void usePredicateWhitelist(boolean b)