Uses of Interface
org.tweetyproject.beliefdynamics.BaseExpansionOperator

Packages that use BaseExpansionOperator

Package	Description
org.tweetyproject.beliefdynamics

Uses of BaseExpansionOperator in org.tweetyproject.beliefdynamics

Classes in org.tweetyproject.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 org.tweetyproject.beliefdynamics with parameters of type BaseExpansionOperator

Modifier	Constructor	Description
	LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<T> expansion)	Creates a new Levi base revision with the given contraction and expansion operators.