| 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 |