Package com.uppaal.model.system

Interface TraceListener<Transition extends AbstractTransition>

public interface TraceListener<Transition extends AbstractTransition>

Method Summary

Modifier and Type	Method	Description
void	append(Transition transition)
void	cover(Transition transition)
void	remove(Transition transition)
void	uncover(Transition transition)

Method Details

append

void append(Transition transition)

remove

void remove(Transition transition)

cover

void cover(Transition transition)

uncover

void uncover(Transition transition)