Package com.uppaal.model.io2

Provides support for reading and writing UPPAAL models from and to XTA and XML files.

See: Description

Package com.uppaal.model.io2 Description

Provides support for reading and writing UPPAAL models from and to XTA and XML files.

However, the preferred method of reading a model is to use the load() method of the PrototypeDocument class and the preferred method of writing a model is to use the save() method of the Document class.

See Also:
PrototypeDocument, Document

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