Uses of Class
net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
-
-
Uses of AssociativeFormulaSupport in net.sf.tweety.arg.dung.ldo.syntax
Fields in net.sf.tweety.arg.dung.ldo.syntax declared as AssociativeFormulaSupport Modifier and Type Field Description protected AssociativeFormulaSupport<LdoFormula>
LdoAssociativeFormula. support
The inner formulas of this formula -
Uses of AssociativeFormulaSupport in net.sf.tweety.logics.commons.syntax
Methods in net.sf.tweety.logics.commons.syntax that return AssociativeFormulaSupport Modifier and Type Method Description AssociativeFormulaSupport<T>
AssociativeFormulaSupport. clone()
Constructors in net.sf.tweety.logics.commons.syntax with parameters of type AssociativeFormulaSupport Constructor Description AssociativeFormulaSupport(AssociativeFormulaSupport<T> other)
Copy-Ctor creates a deep copy of the associative formula support. -
Uses of AssociativeFormulaSupport in net.sf.tweety.logics.dl.syntax
Fields in net.sf.tweety.logics.dl.syntax declared as AssociativeFormulaSupport Modifier and Type Field Description protected AssociativeFormulaSupport<ComplexConcept>
AssociativeDlFormula. support
This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class. -
Uses of AssociativeFormulaSupport in net.sf.tweety.logics.fol.syntax
Fields in net.sf.tweety.logics.fol.syntax declared as AssociativeFormulaSupport Modifier and Type Field Description protected AssociativeFormulaSupport<RelationalFormula>
AssociativeFolFormula. support
This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class. -
Uses of AssociativeFormulaSupport in net.sf.tweety.logics.pl.syntax
Fields in net.sf.tweety.logics.pl.syntax declared as AssociativeFormulaSupport Modifier and Type Field Description protected AssociativeFormulaSupport<PlFormula>
AssociativePlFormula. support
The inner formulas of this formula -
Uses of AssociativeFormulaSupport in net.sf.tweety.lp.asp.syntax
Fields in net.sf.tweety.lp.asp.syntax declared as AssociativeFormulaSupport Modifier and Type Field Description private AssociativeFormulaSupport<ASPLiteral>
ASPHead. assocSupport
-