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