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 logic
class	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).