Uses of Class
net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

Packages that use AssociativeFOLFormula

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

Uses of AssociativeFOLFormula in net.sf.tweety.logics.fol.syntax

Subclasses of AssociativeFOLFormula in net.sf.tweety.logics.fol.syntax

Modifier and Type	Class and Description
class	Conjunction The classical conjunction of first-order logic.
class	Disjunction The classical disjunction of first-order logic.

Methods in net.sf.tweety.logics.fol.syntax that return AssociativeFOLFormula

Modifier and Type	Method and Description
AssociativeFOLFormula	AssociativeFOLFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> termMap)
AssociativeFOLFormula	AssociativeFOLFormula.substitute(Term<?> v, Term<?> t)