Uses of Interface
net.sf.tweety.beliefdynamics.BaseContractionOperator

Packages that use BaseContractionOperator

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

Uses of BaseContractionOperator in net.sf.tweety.beliefdynamics

Classes in net.sf.tweety.beliefdynamics that implement BaseContractionOperator

Modifier and Type	Class	Description
class	MultipleBaseContractionOperator<T extends Formula>	This is the interface for a classic multiple belief base contraction operator, ie.

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

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

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

Classes in net.sf.tweety.beliefdynamics.kernels that implement BaseContractionOperator

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

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

Classes in net.sf.tweety.beliefdynamics.operators that implement BaseContractionOperator

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.