Class MlWriter
java.lang.Object
org.tweetyproject.commons.Writer
org.tweetyproject.logics.ml.writer.MlWriter
The `MlWriter` class is responsible for writing formulas and belief sets to a specific format.
Author: [Your Name]
-
Constructor Summary
ConstructorDescriptionMlWriter
(RelationalFormula formula) Initializes a new `MlWriter` instance.MlWriter
(MlBeliefSet beliefSet) Initializes a new `MlWriter` instance for writing a belief set. -
Method Summary
Methods inherited from class org.tweetyproject.commons.Writer
getObjectToBePrinted, setObjectToBePrinted, writeToFile
-
Constructor Details
-
MlWriter
Initializes a new `MlWriter` instance.- Parameters:
formula
- the `RelationalFormula` object representing formula that this writer will serialize and output.
-
MlWriter
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
Description copied from class:Writer
Writes the object into a string.- Specified by:
writeToString
in classWriter
- Returns:
- the string representing the object.
-