public class TimeTransitionSystemAnnotation extends TransitionSystemAnnotation<TimeStateAnnotation,TimeTransitionAnnotation>
Constructor and Description |
---|
TimeTransitionSystemAnnotation() |
addStateAnnotation, addTransitionAnnotation, getAllStateAnnotations, getAllTransitionAnnotations, getStateAnnotation, getTransitionAnnotation