Package | Description |
---|---|
net.sf.tweety.beliefdynamics |
Modifier and Type | Class and Description |
---|---|
class |
DefaultMultipleBaseExpansionOperator<T extends Formula>
This class implements the default multiple base expansion operator, ie.
|
Modifier and Type | Field and Description |
---|---|
private MultipleBaseExpansionOperator<T> |
LeviMultipleBaseRevisionOperator.expansion
The expansion operator of this Levi revision.
|
Constructor and Description |
---|
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction,
MultipleBaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
|