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.

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

Modifier and Type	Method	Description
AssociativeFolFormula	AssociativeFolFormula.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> termMap)
AssociativeFolFormula	AssociativeFolFormula.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)