Modifier and Type | Class and Description |
---|---|
class |
LdoAssociativeFormula
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
class |
LdoConjunction
This class represents a conjunction in ldo logic.
|
class |
LdoDisjunction
This class represents a disjunction in ldo logic.
|
Modifier and Type | Class and Description |
---|---|
class |
AssociativeFormulaSupport<T extends SimpleLogicalFormula>
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
Modifier and Type | Method and Description |
---|---|
<T extends SimpleLogicalFormula> |
AssociativeFormulaSupport.AssociativeSupportBridge.createEmptyFormula() |
Modifier and Type | Class and Description |
---|---|
class |
AssociativeFOLFormula
This class captures the common functionalities first order associative formulas like conjunction,
disjunction, etc.
|
class |
Conjunction
The classical conjunction of first-order logic.
|
class |
Disjunction
The classical disjunction of first-order logic.
|
Modifier and Type | Class and Description |
---|---|
class |
AssociativePropositionalFormula
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
Modifier and Type | Method and Description |
---|---|
<A extends AssociativeFormula<? extends SimpleLogicalFormula>> |
Translator.translateAssociative(A source,
java.lang.Class<?> assocCls)
Translates the given AssociativeFormula into another AssociativeFormula
thats type is given by the parameter assocCls
|
Modifier and Type | Method and Description |
---|---|
<A extends AssociativeFormula<? extends SimpleLogicalFormula>> |
Translator.translateAssociative(A source,
java.lang.Class<?> assocCls)
Translates the given AssociativeFormula into another AssociativeFormula
thats type is given by the parameter assocCls
|
Modifier and Type | Class and Description |
---|---|
class |
DLPHead
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
|