Class PlWriter
java.lang.Object
org.tweetyproject.commons.Writer
org.tweetyproject.logics.pl.writer.PlWriter
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
ConstructorDescriptionPlWriter()
Creates a new empty PlWriter.PlWriter
(PlBeliefSet plBeliefSet) Creates a new PlWriter for the given belief set.Creates a new PlWriter for the given formula. -
Method Summary
Methods inherited from class org.tweetyproject.commons.Writer
getObjectToBePrinted, setObjectToBePrinted, writeToFile
-
Constructor Details
-
PlWriter
Creates a new PlWriter for the given formula.- Parameters:
plFormula
- some formula
-
PlWriter
Creates a new PlWriter for the given belief set.- Parameters:
plBeliefSet
- belief set
-
PlWriter
public PlWriter()Creates a new empty PlWriter.
-
-
Method Details
-
writeToString
Description copied from class:Writer
Writes the object into a string.- Specified by:
writeToString
in classWriter
- Returns:
- the string representing the object.
-