Package net.sf.tweety.logics.ml.writer

Class MlWriter

java.lang.Object

net.sf.tweety.commons.Writer

net.sf.tweety.logics.ml.writer.MlWriter

public class MlWriter
extends net.sf.tweety.commons.Writer

Constructor Summary

Constructors

Constructor	Description
MlWriter(net.sf.tweety.logics.commons.syntax.RelationalFormula formula)
MlWriter(MlBeliefSet beliefSet)

Method Summary

Modifier and Type	Method	Description
String	writeToString()

Methods inherited from class net.sf.tweety.commons.Writer

getObject, setObject, writeToFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MlWriter

public MlWriter(net.sf.tweety.logics.commons.syntax.RelationalFormula formula)

MlWriter

public MlWriter(MlBeliefSet beliefSet)

Method Detail

writeToString

public String writeToString()

Specified by:

writeToString in class net.sf.tweety.commons.Writer