Uses of Interface
net.sf.tweety.commons.KernelProvider

Packages that use KernelProvider

Package	Description
net.sf.tweety.beliefdynamics.kernels
net.sf.tweety.logics.pl.reasoner

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

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

Modifier and Type	Field and Description
private KernelProvider<T>	KernelContractionOperator.kernelProvider Used to determine kernels.

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

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

Uses of KernelProvider in net.sf.tweety.logics.pl.reasoner

Classes in net.sf.tweety.logics.pl.reasoner that implement KernelProvider

Modifier and Type	Class and Description
class	AbstractPropositionalLogicReasoner Abstract class for propositional logic reasoners.
class	NaiveReasoner Naive classical inference (checks all interpretations for satisfiability).
class	SatReasoner Uses the default SAT reasoner to perform reasoning in propositional logic