public class TimeTransitionAnnotation extends TransitionAnnotation
owner
Constructor and Description |
---|
TimeTransitionAnnotation(Transition transition) |
Modifier and Type | Method and Description |
---|---|
StatisticsAnnotationProperty |
getDuration() |
getTransition
addProperty, getProperties, getProperty
public TimeTransitionAnnotation(Transition transition)
public StatisticsAnnotationProperty getDuration()