Uses of Class
net.sf.tweety.logics.pl.ClassicalInference

Packages that use ClassicalInference

Package	Description
net.sf.tweety.logics.pl

Uses of ClassicalInference in net.sf.tweety.logics.pl

Subclasses of ClassicalInference in net.sf.tweety.logics.pl

Modifier and Type	Class and Description
class	NaiveReasoner Naive classical inference (checks all interpretations for satisfiability).