Uses of Class
org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator
-
Uses of MultipleBaseExpansionOperator in org.tweetyproject.beliefdynamics
Modifier and TypeClassDescriptionclass
DefaultMultipleBaseExpansionOperator<T extends Formula>
This class implements the default multiple base expansion operator, ie.ModifierConstructorDescriptionLeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.