Uses of Interface
org.tweetyproject.commons.KernelProvider

Packages that use KernelProvider

Package	Description
org.tweetyproject.beliefdynamics.kernels
org.tweetyproject.logics.pl.reasoner
org.tweetyproject.logics.qbf.reasoner

Uses of KernelProvider in org.tweetyproject.beliefdynamics.kernels

Constructors in org.tweetyproject.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 org.tweetyproject.logics.pl.reasoner

Classes in org.tweetyproject.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 org.tweetyproject.logics.qbf.reasoner

Classes in org.tweetyproject.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).