Interface | Description |
---|---|
ProBParserBase |
This interface describes the basic functionality of parsers for specific
formalisms.
|
Class | Description |
---|---|
JoinedParserBase | |
ProBParserBaseAdapter | |
UnparsedParserBase |
An implementation of the ProB Parser Base that returns everything as unparsed
atoms.
|
Exception | Description |
---|---|
ProBParseException |