Uses of Class
org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
-
Packages that use AbstractPlReasoner Package Description org.tweetyproject.logics.pl.analysis org.tweetyproject.logics.pl.reasoner org.tweetyproject.logics.qbf.reasoner -
-
Uses of AbstractPlReasoner in org.tweetyproject.logics.pl.analysis
Constructors in org.tweetyproject.logics.pl.analysis with parameters of type AbstractPlReasoner Constructor Description SimplePlInterpolantEnumerator(AbstractPlReasoner reasoner)
Creates a new SimplePlInterpolantEnumerator that uses the given PL reasoner for entailment queries. -
Uses of AbstractPlReasoner in org.tweetyproject.logics.pl.reasoner
Subclasses of AbstractPlReasoner in org.tweetyproject.logics.pl.reasoner Modifier and Type Class Description class
SatReasoner
Uses the default SAT reasoner to perform reasoning in propositional logicclass
SimplePlReasoner
Naive classical inference (checks all interpretations for satisfiability). -
Uses of AbstractPlReasoner in org.tweetyproject.logics.qbf.reasoner
Subclasses of AbstractPlReasoner in org.tweetyproject.logics.qbf.reasoner Modifier and Type Class Description class
NaiveQbfReasoner
Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).
-