Uses of Class
net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator

Packages that use MultipleBaseContractionOperator

Package	Description
net.sf.tweety.beliefdynamics
net.sf.tweety.beliefdynamics.kernels
net.sf.tweety.beliefdynamics.operators

Uses of MultipleBaseContractionOperator in net.sf.tweety.beliefdynamics

Constructors in net.sf.tweety.beliefdynamics with parameters of type MultipleBaseContractionOperator

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

Uses of MultipleBaseContractionOperator in net.sf.tweety.beliefdynamics.kernels

Subclasses of MultipleBaseContractionOperator in net.sf.tweety.beliefdynamics.kernels

Modifier and Type	Class	Description
class	KernelContractionOperator<T extends Formula>	This class implements kernel contraction for belief bases [Hansson:2001].

Uses of MultipleBaseContractionOperator in net.sf.tweety.beliefdynamics.operators

Subclasses of MultipleBaseContractionOperator in net.sf.tweety.beliefdynamics.operators

Modifier and Type	Class	Description
class	RandomKernelContractionOperator	This class implements a simple kernel base contraction for propositional logic with an incision function that randomly selects its incisions.