PlWriter

java.lang.Object
- net.sf.tweety.commons.Writer
- - net.sf.tweety.logics.pl.writer.PlWriter

```
public class PlWriter
extends Writer
```
This class implements a writer for propositional formulas and belief bases.

Author:

Anna Gessler

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PlWriter(PlBeliefSet plBeliefSet)
  
  PlWriter(PlFormula plFormula)
- Method Summary
  
  Modifier and Type Method Description
  
  java.lang.String writeToString()
  Writes the object into a string.
  - Methods inherited from class net.sf.tweety.commons.Writer
    getObject, setObject, writeToFile
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PlWriter
```
public PlWriter(PlFormula plFormula)
```
  - PlWriter
```
public PlWriter(PlBeliefSet plBeliefSet)
```
- 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.