Uses of Class
net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator

Packages that use MultipleBaseExpansionOperator

Package	Description
net.sf.tweety.beliefdynamics

Uses of MultipleBaseExpansionOperator in net.sf.tweety.beliefdynamics

Subclasses of MultipleBaseExpansionOperator in 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.

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

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

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

Constructor and Description
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<T> expansion) Creates a new Levi base revision with the given contraction and expansion operators.