Package com.uppaal.model.io2

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