Uses of Class
org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator

Packages that use MultipleBaseContractionOperator

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

Uses of MultipleBaseContractionOperator in org.tweetyproject.beliefdynamics

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

Subclasses of MultipleBaseContractionOperator in org.tweetyproject.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 org.tweetyproject.beliefdynamics.operators

Subclasses of MultipleBaseContractionOperator in org.tweetyproject.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.