|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| Translator | |
| Class Summary | |
|---|---|
| EmptyTranslator | A translator that does not translate anything, but merely gives back what it recieves. |
| IdentifierTranslator | |
| Polyhedron | |
| Process | |
| SystemEdge | |
| SystemLocation | |
| SystemState | |
| Transition | Transition represents a discrete transition of the system. |
| UppaalSystem | |
Provides classes for representing instantiated UPPAAL systems. To obtain an instantiated UPPAAL system from an uninstantiated UPPAAL model, you must use the Engine class.
Engine
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||