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