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