Skip navigation links

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
Skip navigation links

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