class at.CheckDeadline
extends java.lang.Object
implements java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
private boolean |
cancelled |
private Event |
event |
private int |
id |
private TransitionSystem |
ts |
Constructor and Description |
---|
CheckDeadline(Trigger te,
TransitionSystem ts) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
cancel() |
void |
run() |
private int id
private Event event
private TransitionSystem ts
private boolean cancelled
public CheckDeadline(Trigger te, TransitionSystem ts)