Uses of Class
net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner

Packages that use AbstractPlReasoner

Package	Description
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.reasoner
net.sf.tweety.logics.qbf.reasoner

Uses of AbstractPlReasoner in net.sf.tweety.logics.pl.analysis

Constructors in net.sf.tweety.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 net.sf.tweety.logics.pl.reasoner

Subclasses of AbstractPlReasoner in net.sf.tweety.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 net.sf.tweety.logics.qbf.reasoner

Subclasses of AbstractPlReasoner in net.sf.tweety.logics.qbf.reasoner

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