net.sf.tweety.logics.el.writer

Class ModalWriter

java.lang.Object

net.sf.tweety.commons.Writer

net.sf.tweety.logics.el.writer.ModalWriter

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

Constructor Summary

Constructors

Constructor and Description
ModalWriter(ModalBeliefSet beliefSet)
ModalWriter(net.sf.tweety.logics.commons.syntax.RelationalFormula formula)

Method Summary

Modifier and Type	Method and 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

ModalWriter

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

ModalWriter

public ModalWriter(ModalBeliefSet beliefSet)

Method Detail

writeToString

public String writeToString()

Specified by:

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