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 logicclass
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).
-