Package com.uppaal.model.system
Interface TraceListener<Transition extends AbstractTransition>
-
public interface TraceListener<Transition extends AbstractTransition>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
append(Transition transition)
void
cover(Transition transition)
void
remove(Transition transition)
void
uncover(Transition transition)
-
-
-
Method Detail
-
append
void append(Transition transition)
-
remove
void remove(Transition transition)
-
cover
void cover(Transition transition)
-
uncover
void uncover(Transition transition)
-
-