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

Class TptpFofBinaryFormula

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.TptpFofBinaryFormula

Direct Known Subclasses:

TptpFofBinaryAssociativeFormula, TptpFofBinaryNonAssociativeFormula

public abstract class TptpFofBinaryFormula
extends TptpFofLogicFormula

Constructor Summary

Constructors

Constructor and Description
TptpFofBinaryFormula()

Method Summary

Modifier and Type	Method and Description
abstract boolean	isAssociative()
boolean	isBinary()
abstract boolean	isNonAssociative()
abstract 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

TptpFofBinaryFormula

public TptpFofBinaryFormula()

Method Detail

isBinary

public boolean isBinary()

isUnitary

public abstract boolean isUnitary()

Specified by:

isUnitary in class TptpFofLogicFormula

isAssociative

public abstract boolean isAssociative()

isNonAssociative

public abstract boolean isNonAssociative()