Class | Description |
---|---|
AnnotatedTransitionSystemImpl | |
AnnotationElementContinuous |
We use floats to save space Here we dont use maps for cardinality.
|
AnnotationElementDiscrete |
Discrete values can be repeated, so we also store the cardinality.
|
AnnotationElementLiteral |
This class represents literal values.
|
AnnotationElementXAttribute | |
AnnotationElementXEvent | |
AnnotationImpl |