Class MlWriter

java.lang.Object
org.tweetyproject.commons.Writer
org.tweetyproject.logics.ml.writer.MlWriter
public class MlWriter extends Writer
The `MlWriter` class is responsible for writing formulas and belief sets to a specific format.

Author: [Your Name]

  • Constructor Details

    • MlWriter

      public MlWriter(RelationalFormula formula)
      Initializes a new `MlWriter` instance.
      Parameters:
      formula - the `RelationalFormula` object representing formula that this writer will serialize and output.

    • MlWriter

      public MlWriter(MlBeliefSet beliefSet)
      Initializes a new `MlWriter` instance for writing a belief set.
      Parameters:
      beliefSet - the `MlBeliefSet` object representing the set of formulas that this writer will serialize and output.

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