Uses of Interface
org.tweetyproject.beliefdynamics.BaseContractionOperator

Packages that use BaseContractionOperator

Package	Description
org.tweetyproject.beliefdynamics
org.tweetyproject.beliefdynamics.kernels
org.tweetyproject.beliefdynamics.operators

Uses of BaseContractionOperator in org.tweetyproject.beliefdynamics

Classes in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.beliefdynamics.kernels

Classes in org.tweetyproject.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 org.tweetyproject.beliefdynamics.operators

Classes in org.tweetyproject.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.