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

Packages that use TptpFofAtomicFormula

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

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

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return types with arguments of type TptpFofAtomicFormula

Modifier and Type	Method and Description
Set<TptpFofAtomicFormula>	TptpFofLogicFormula.getAtoms()
Set<TptpFofAtomicFormula>	TptpFofAtomicFormula.getAtoms()

Constructor parameters in net.sf.tweety.logics.fol.syntax.tptp.fof with type arguments of type TptpFofAtomicFormula

Constructor and Description
TptpFofLogicFormula(Set<TptpFofAtomicFormula> atoms, Set<TptpFofFunctor> functors)