Package com.uppaal.model.system

Provides classes for representing instantiated UPPAAL systems.

See: Description

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

Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.