Uses of Interface
net.sf.tweety.beliefdynamics.BaseExpansionOperator

Packages that use BaseExpansionOperator

Package	Description
net.sf.tweety.beliefdynamics

Uses of BaseExpansionOperator in net.sf.tweety.beliefdynamics

Classes in net.sf.tweety.beliefdynamics that implement BaseExpansionOperator

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.

Fields in net.sf.tweety.beliefdynamics declared as BaseExpansionOperator

Modifier and Type	Field and Description
private BaseExpansionOperator<T>	LeviBaseRevisionOperator.expansion The expansion operator of this Levi revision.

Constructors in net.sf.tweety.beliefdynamics with parameters of type BaseExpansionOperator

Constructor and Description
LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<T> expansion) Creates a new Levi base revision with the given contraction and expansion operators.