Uses of Class
net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator

Packages that use KernelContractionOperator

Package	Description
net.sf.tweety.beliefdynamics.operators

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

Subclasses of KernelContractionOperator 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.