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

Packages that use AbstractPropositionalLogicReasoner

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

Uses of AbstractPropositionalLogicReasoner in net.sf.tweety.logics.pl.reasoner

Subclasses of AbstractPropositionalLogicReasoner in net.sf.tweety.logics.pl.reasoner

Modifier and Type	Class and Description
class	SatReasoner Uses the default SAT reasoner to perform reasoning in propositional logic
class	SimpleReasoner Naive classical inference (checks all interpretations for satisfiability).