Uses of Class
net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofAssociative

Packages that use TptpFofAssociative

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

Uses of TptpFofAssociative in net.sf.tweety.logics.fol.syntax.tptp.fof

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return TptpFofAssociative

Modifier and Type	Method and Description
TptpFofAssociative	TptpFofBinaryAssociativeFormula.getAssoc()

Constructors in net.sf.tweety.logics.fol.syntax.tptp.fof with parameters of type TptpFofAssociative

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