Uses of Package
net.sf.tweety.logics.pl

Packages that use net.sf.tweety.logics.pl

Package	Description
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.pl.writer

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl

Class and Description
ClassicalInference This class implements the classical inference operator.
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl.parser

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl.util

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl.writer

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.