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

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 program

void usePredicateWhitelist(boolean b)
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClingoWriter
```
public ClingoWriter(java.io.Writer writer)
```
Create a new ClingoWriter with the given writer.

Parameters:

writer - a writer

ClingoWriter
```
public ClingoWriter()
```

ClingoWriter

public ClingoWriter(java.io.Writer writer,
                    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.

close

public void close()
           throws java.io.IOException

Throws:: java.io.IOException

usePredicateWhitelist

public void usePredicateWhitelist(boolean b)