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

Class TptpFofAndFormula

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

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

public class TptpFofAndFormula
extends TptpFofBinaryAssociativeFormula

This class implements the tptp-

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofAndFormula(TptpFofFormula left, TptpFofFormula right)

Method Summary

Modifier and Type	Method and Description
boolean	isParenthesized()
boolean	isUnitary()

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

equals, getAssoc, getLeft, getRight, hashCode, isAssociative, isNonAssociative, setLeft, setRight, toString

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

isBinary

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

getAtoms, getFunctors

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TptpFofAndFormula

public TptpFofAndFormula(TptpFofFormula left,
                         TptpFofFormula right)

Method Detail

isUnitary

public boolean isUnitary()

Specified by:

isUnitary in class TptpFofBinaryFormula

isParenthesized

public boolean isParenthesized()

Specified by:

isParenthesized in class TptpFofLogicFormula