|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| Packages | |
|---|---|
| com.uppaal.engine | Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class. |
| com.uppaal.model | Provides support for UPPAAL models, visit the Document as a starting point. |
| com.uppaal.model.core2 | Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point. |
| com.uppaal.model.core2.lsc | |
| com.uppaal.model.io2 | Provides support for reading and writing UPPAAL models from and to XTA and XML files. |
| com.uppaal.model.lscsystem | |
| com.uppaal.model.system | Provides classes for representing instantiated UPPAAL systems. |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||