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

Class TptpFofBinaryAssociativeFormula

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

Direct Known Subclasses:

TptpFofAndFormula, TptpFofOrFormula

public abstract class TptpFofBinaryAssociativeFormula
extends TptpFofBinaryFormula

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofBinaryAssociativeFormula()
TptpFofBinaryAssociativeFormula(TptpFofFormula left, TptpFofFormula right, TptpFofAssociative assoc)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
TptpFofAssociative	getAssoc()
TptpFofFormula	getLeft()
TptpFofFormula	getRight()
int	hashCode()
boolean	isAssociative()
boolean	isNonAssociative()
void	setLeft(TptpFofFormula left)
void	setRight(TptpFofFormula right)
String	toString()

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofBinaryAssociativeFormula

public TptpFofBinaryAssociativeFormula()

TptpFofBinaryAssociativeFormula

public TptpFofBinaryAssociativeFormula(TptpFofFormula left,
                                       TptpFofFormula right,
                                       TptpFofAssociative assoc)

Method Detail

getLeft

public TptpFofFormula getLeft()

setLeft

public void setLeft(TptpFofFormula left)

getRight

public TptpFofFormula getRight()

setRight

public void setRight(TptpFofFormula right)

getAssoc

public TptpFofAssociative getAssoc()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class TptpFofLogicFormula

isAssociative

public boolean isAssociative()

Specified by:

isAssociative in class TptpFofBinaryFormula

isNonAssociative

public boolean isNonAssociative()

Specified by:

isNonAssociative in class TptpFofBinaryFormula