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

Class TptpFofUnitaryFormula

java.lang.Object

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

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

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

Direct Known Subclasses:

TptpFofAtomicFormula, TptpFofNegation, TptpFofQuantifiedFormula

public abstract class TptpFofUnitaryFormula
extends TptpFofLogicFormula

Constructor Summary

Constructors

Constructor and Description
TptpFofUnitaryFormula()

Method Summary

Modifier and Type	Method and Description
boolean	isUnitary()

Methods inherited from class net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofLogicFormula

getAtoms, getFunctors, isParenthesized, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofUnitaryFormula

public TptpFofUnitaryFormula()

Method Detail

isUnitary

public boolean isUnitary()

Specified by:

isUnitary in class TptpFofLogicFormula