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 Writer

Constructor Summary

Constructors

Constructor and Description
ModalWriter(ModalBeliefSet beliefSet)
ModalWriter(RelationalFormula formula)

Method Summary

Modifier and Type	Method and Description
java.lang.String	writeToString() Writes the object into a string.

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(RelationalFormula formula)

ModalWriter

public ModalWriter(ModalBeliefSet beliefSet)

Method Detail

writeToString

public java.lang.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.