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

Packages that use TptpFofBinaryAssociativeFormula

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

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

Subclasses of TptpFofBinaryAssociativeFormula in net.sf.tweety.logics.fol.syntax.tptp.fof

Modifier and Type	Class and Description
class	TptpFofAndFormula This class implements the tptp-
class	TptpFofOrFormula This class implements the tptp-