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

Class TptpFofBinaryNonAssociativeFormula

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

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

public abstract class TptpFofBinaryNonAssociativeFormula
extends TptpFofBinaryFormula

Constructor Summary

Constructors

Constructor and Description
TptpFofBinaryNonAssociativeFormula()

Method Summary

Modifier and Type	Method and Description
boolean	isAssociative()
boolean	isNonAssociative()

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

isBinary, 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

TptpFofBinaryNonAssociativeFormula

public TptpFofBinaryNonAssociativeFormula()

Method Detail

isAssociative

public boolean isAssociative()

Specified by:

isAssociative in class TptpFofBinaryFormula

isNonAssociative

public boolean isNonAssociative()

Specified by:

isNonAssociative in class TptpFofBinaryFormula