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:
Class Summary Class Description AbstractTrace<Transition extends AbstractTransition> AbstractTransition EmptyTranslatorA translator that does not translate anything, but merely gives back what it recieves. GanttBarDefinition of the bars in a Gantt chart. GanttChartThe class Gantt chart GanttRowThe class of gantt row IdentifierTranslator Polyhedron ProcessThe class process SystemEdgeThe class of the system edge SystemEdgeSelectThe class to present the selected edges of the system SystemLocationThe class of the system location SystemStateThe class representing a state in a system TraceThis class can be used for a combinated symbolic and concrete trace, or just one of them. TransitionTransition represents a discrete transition of the system. UppaalSystemAn UppaalSystem consists of: A number of indexed processes consisting of a name, a template, and a translation map.