Package net.sf.tweety.logics.pl.parser

Class Summary

Class	Description
DimacsParser	Parser a file in Dimacs format into a PlBeliefSet.
PlParser	This class implements a parser for propositional logic.
PlParserFactory	Manages and creates different parsers for propositional logic.

Enum Summary

Enum	Description
PlParserFactory.Format	An enumeration of all available knowledge base formats.