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	Description
private KernelProvider<T>	KernelContractionOperator.kernelProvider	Used to determine kernels.

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

Constructor	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	Description
class	AbstractPlReasoner	Abstract class for propositional logic reasoners.
class	SatReasoner	Uses the default SAT reasoner to perform reasoning in propositional logic
class	SimplePlReasoner	Naive classical inference (checks all interpretations for satisfiability).