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