Package com.uppaal.model
Provides support for UPPAAL models, visit the Document as a starting point.
-
Interface Summary Interface Description Translator -
Class Summary Class Description AbstractProcess AbstractSystem The abstract system classAbstractSystemLocation AbstractSystemState ConvertSyntaxVisitor Class convert syntax visitorLayoutVisitor