Package com.uppaal.model.core2

Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.

See: Description

Package com.uppaal.model.core2 Description

Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.

A UPPAAL model is represented as a tree. Element is the base class for all nodes in the tree and the root is an instance of the Document class. Visit the Document class as a starting point.

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