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

Packages that use AbstractPlReasoner

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

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