| GotoCommand |
This class provides a goto command.
|
| GuardedCommand |
A guarded command is ":: G -> goto S" where G is a propositional formula
and S is a destination state.
|
| Location |
A location is same as an automaton state.
|
| Promela |
This class provides methods for converting an NBW to Promela code.
|
| PromelaCodec |
This is a codec that can encode an NBW as Promela never claim and decode the
Promela never claim back to an NBW.
|
| PromelaParser |
|
| PromelaParser.JJCalls |
|
| PromelaParserTokenManager |
Token Manager.
|
| SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
| SkipCommand |
This class provides a skip command.
|
| Token |
Describes the input token stream.
|