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 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.Constructors in net.sf.tweety.beliefdynamics with parameters of type BaseExpansionOperator Constructor Description LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
-