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
net.sf.tweety.logics.qbf.reasoner

Uses of KernelProvider in net.sf.tweety.beliefdynamics.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).

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

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

Modifier and Type	Class	Description
class	NaiveQbfReasoner	Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).