Class and Description |
---|
AnnotatedTransitionSystem |
Class and Description |
---|
AnnotatedTransitionSystem |
Annotation
Wrapper for all the annotations that can be assigned to a single element of a
transition system (i.e., state or transition)
|
AnnotationElement |
Class and Description |
---|
Annotation
Wrapper for all the annotations that can be assigned to a single element of a
transition system (i.e., state or transition)
|
AnnotationElement |
Class and Description |
---|
AnnotatedTransitionSystem |
Class and Description |
---|
AnnotatedTransitionSystem |