Package com.uppaal.model.system
Interface TraceListener<Transition extends AbstractTransition>
-
public interface TraceListener<Transition extends AbstractTransition>
-
-
Method Summary
Modifier and Type Method Description voidappend(Transition transition)voidcover(Transition transition)voidremove(Transition transition)voiduncover(Transition transition)
-
-
-
Method Detail
-
append
void append(Transition transition)
-
remove
void remove(Transition transition)
-
cover
void cover(Transition transition)
-
uncover
void uncover(Transition transition)
-
-