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 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
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

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 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.