Uses of Class
org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
-
Uses of AssociativeFolFormula in org.tweetyproject.logics.fol.syntax
Modifier and TypeClassDescriptionclass
The classical conjunction of first-order logic.class
The classical disjunction of first-order logic.class
The exclusive disjunction (XOR) in first-order logic.Modifier and TypeMethodDescriptionAssociativeFolFormula.substitute(Map<? extends Term<?>,? extends Term<?>> termMap)
AssociativeFolFormula.substitute(Term<?> v, Term<?> t)