PlWriter

java.lang.Object
- org.tweetyproject.commons.Writer
- - org.tweetyproject.logics.pl.writer.PlWriter

```
public class PlWriter
extends Writer
```
This class implements a writer for propositional formulas and belief bases. It prints formulas and belief bases in the TweetyProject input format.

Author:

Anna Gessler

Constructor Summary

Constructors
Constructor	Description
`PlWriter()`	Creates a new empty PlWriter.
`PlWriter(PlBeliefSet plBeliefSet)`	Creates a new PlWriter for the given belief set.
`PlWriter(PlFormula plFormula)`	Creates a new PlWriter for the given formula.

Method Summary

Modifier and Type Method Description

java.lang.String writeToString()
Writes the object into a string.
- Methods inherited from class org.tweetyproject.commons.Writer
  getObjectToBePrinted, setObjectToBePrinted, writeToFile
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PlWriter
```
public PlWriter(PlFormula plFormula)
```
    Creates a new PlWriter for the given formula.
    
    Parameters:
    
    plFormula - some formula
  - PlWriter
```
public PlWriter(PlBeliefSet plBeliefSet)
```
    Creates a new PlWriter for the given belief set.
  - PlWriter
```
public PlWriter()
```
    Creates a new empty PlWriter.
- Method Detail
  - writeToString
```
public java.lang.String writeToString()
```
    Description copied from class: Writer
    
    Writes the object into a string.
    
    Specified by:
    
    writeToString in class Writer
    
    Returns:
    
    the string representing the object.