net.sf.tweety.logics.pl.writer

Class PlWriter

java.lang.Object

net.sf.tweety.commons.Writer

net.sf.tweety.logics.pl.writer.PlWriter

public class PlWriter
extends net.sf.tweety.commons.Writer

This class implements a writer for propositional formulas and belief bases.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor and Description
PlWriter(PlBeliefSet plBeliefSet)
PlWriter(PropositionalFormula plFormula)

Method Summary

Modifier and Type	Method and Description
String	writeToString()

Methods inherited from class net.sf.tweety.commons.Writer

getObject, setObject, writeToFile

Methods inherited from class java.lang.Object

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

Constructor Detail

PlWriter

public PlWriter(PropositionalFormula plFormula)

PlWriter

public PlWriter(PlBeliefSet plBeliefSet)

Method Detail

writeToString

public String writeToString()

Specified by:

writeToString in class net.sf.tweety.commons.Writer