| 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 |