Uses of Class
org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator
-
Packages that use MultipleBaseExpansionOperator Package Description org.tweetyproject.beliefdynamics -
-
Uses of MultipleBaseExpansionOperator in org.tweetyproject.beliefdynamics
Subclasses of MultipleBaseExpansionOperator in org.tweetyproject.beliefdynamics Modifier and Type Class Description class
DefaultMultipleBaseExpansionOperator<T extends Formula>
This class implements the default multiple base expansion operator, ie.Constructors in org.tweetyproject.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.
-