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	Description
class	Conjunction	The classical conjunction of first-order logic.
class	Disjunction	The classical disjunction of first-order logic.
class	ExclusiveDisjunction	The exclusive disjunction (XOR) in first-order logic.

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

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