Uses of Class
org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
-
Uses of ComplexLogicalFormulaAdapter in org.tweetyproject.logics.commons.syntax
Modifier and TypeClassDescriptionclass
AssociativeFormulaSupport<T extends SimpleLogicalFormula>
This class provides common implementation for associative formulas that are formulas which consists of several other formulas. -
Uses of ComplexLogicalFormulaAdapter in org.tweetyproject.lp.nlp.syntax