public class ModalWriter extends Writer
Constructor and Description |
---|
ModalWriter(ModalBeliefSet beliefSet) |
ModalWriter(RelationalFormula formula) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
writeToString()
Writes the object into a string.
|
getObject, setObject, writeToFile
public ModalWriter(RelationalFormula formula)
public ModalWriter(ModalBeliefSet beliefSet)
public java.lang.String writeToString()
Writer
writeToString
in class Writer