Class | Description |
---|---|
PlParser |
This class implements a parser for propositional logic.
|
PlParserFactory |
Manages and creates different parsers for propositional logic.
|
Enum | Description |
---|---|
PlParserFactory.Format |
An enumeration of all available knowledge base formats.
|