Package 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	Description
ClingoWriter()
ClingoWriter(Writer writer)	Create a new ClingoWriter with the given writer.
ClingoWriter(Writer writer, boolean b)

Method Summary

Modifier and Type	Method	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 - a 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 - if an IO issue occurs.

close

public void close()
           throws IOException

Throws:

IOException

usePredicateWhitelist

public void usePredicateWhitelist(boolean b)