See: Description
Interface | Description |
---|---|
Translator |
Class | Description |
---|---|
AbstractTransition | |
EmptyTranslator |
A translator that does not translate anything,
but merely gives back what it recieves.
|
GanttBar | |
GanttChart | |
GanttRow | |
IdentifierTranslator | |
Polyhedron | |
Process | |
SystemEdge | |
SystemEdgeSelect | |
SystemLocation | |
SystemState | |
Trace |
This class can be used for a combinated symbolic and concrete trace, or just
one of them.
|
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
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.