See: Description
Interface | Description |
---|---|
Translator |
Class | Description |
---|---|
AbstractTransition | |
EmptyTranslator |
A translator that does not translate anything,
but merely gives back what it recieves.
|
GanttBar |
Definition of the bars in a Gantt chart.
|
GanttChart |
The class Gantt chart
|
GanttRow |
The class of gantt row
|
IdentifierTranslator | |
Polyhedron | |
Process |
The class process
|
SystemEdge |
The class of the system edge
|
SystemEdgeSelect |
The class to present the selected edges of the system
|
SystemLocation |
The class of the system location
|
SystemState |
The class representing a state in a system
|
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 |
An UppaalSystem consists of:
A number of indexed processes consisting of a name, a template,
and a translation map.
|
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 © 2014 Uppsala University and Aalborg University. All Rights Reserved.