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