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 Description class
DefaultMultipleBaseExpansionOperator<T extends Formula>
This class implements the default multiple base expansion operator, ie.Constructors in net.sf.tweety.beliefdynamics with parameters of type MultipleBaseExpansionOperator Constructor Description LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
-