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

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 Details
- 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.
  
  Parameters:
  
  plBeliefSet - belief set
- PlWriter
  
  public PlWriter()
  
  Creates a new empty PlWriter.
Method Details
- writeToString
  
  public 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.