Uses of Class
org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
-
Packages that use ComplexLogicalFormulaAdapter Package Description org.tweetyproject.logics.commons.syntax org.tweetyproject.lp.nlp.syntax -
-
Uses of ComplexLogicalFormulaAdapter in org.tweetyproject.logics.commons.syntax
Subclasses of ComplexLogicalFormulaAdapter in org.tweetyproject.logics.commons.syntax Modifier and Type Class Description class
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
Subclasses of ComplexLogicalFormulaAdapter in org.tweetyproject.lp.nlp.syntax Modifier and Type Class Description class
NLPRule
A rule of a nested logic program.
-