Uses of Class
org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

Packages that use AssociativeFolFormula

Package	Description
org.tweetyproject.logics.fol.syntax

Uses of AssociativeFolFormula in org.tweetyproject.logics.fol.syntax

Subclasses of AssociativeFolFormula in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax that return AssociativeFolFormula

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