Modifier and Type | Field and Description |
---|---|
protected AssociativeFormulaSupport<LdoFormula> |
LdoAssociativeFormula.support
The inner formulas of this formula
|
Modifier and Type | Method and Description |
---|---|
AssociativeFormulaSupport<T> |
AssociativeFormulaSupport.clone() |
Constructor and Description |
---|
AssociativeFormulaSupport(AssociativeFormulaSupport<T> other)
Copy-Ctor creates a deep copy of the associative formula support.
|
Modifier and Type | Field and 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.
|
Modifier and Type | Field and Description |
---|---|
protected AssociativeFormulaSupport<PropositionalFormula> |
AssociativePropositionalFormula.support
The inner formulas of this formula
|
Modifier and Type | Field and Description |
---|---|
private AssociativeFormulaSupport<DLPLiteral> |
DLPHead.assocSupport |