Package com.uppaal.model.system

Provides classes for representing instantiated UPPAAL systems. To obtain an instantiated UPPAAL system from an uninstantiated UPPAAL model, you must use the Engine class.

See Also:

Engine

Interface Summary

Interface	Description
TraceListener<Transition extends AbstractTransition>
Translator

Class Summary

Class	Description
AbstractTrace<Transition extends AbstractTransition>
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.