Uses of Interface
net.sf.tweety.beliefdynamics.kernels.IncisionFunction

Packages that use IncisionFunction

Package	Description
net.sf.tweety.beliefdynamics.kernels

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

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

Modifier and Type	Class and Description
class	RandomIncisionFunction<T extends Formula> This class implements an incision function that just randomly selects a minimal incision.

Fields in net.sf.tweety.beliefdynamics.kernels declared as IncisionFunction

Modifier and Type	Field and Description
private IncisionFunction<T>	KernelContractionOperator.incisionFunction The incision function of the kernel contraction.

Constructors in net.sf.tweety.beliefdynamics.kernels with parameters of type IncisionFunction

Constructor and Description
KernelContractionOperator(IncisionFunction<T> incisionFunction, EntailmentRelation<T> entailmentRelation) Creates a new kernel contraction operator with the given incision function.