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. supportThe 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. supportThis 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. supportThis 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. supportThe 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
-