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

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