Package com.uppaal.model.system

Provides classes for representing instantiated UPPAAL systems.

See: Description

Interface Summary

Interface	Description
Translator

Class Summary

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

Package com.uppaal.model.system Description

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