net.sf.tweety.logics.fol.syntax.tptp.fof

Class TptpFofFormula

java.lang.Object

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofFormula

Direct Known Subclasses:

TptpFofLogicFormula

public abstract class TptpFofFormula
extends Object

TODO: implement

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofFormula()

Method Summary

Modifier and Type	Method and Description
abstract String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofFormula

public TptpFofFormula()

Method Detail

toString

public abstract String toString()

Overrides:

toString in class Object