Package jason.stdlib
Class at.CheckDeadline
java.lang.Object
jason.stdlib.at.CheckDeadline
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Runnable
- Enclosing class:
- at
class at.CheckDeadline
extends java.lang.Object
implements java.lang.Runnable, java.io.Serializable
-
Field Summary
-
Constructor Summary
Constructors Constructor Description CheckDeadline(Trigger te, TransitionSystem ts)
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
id
private int id -
event
-
ts
-
cancelled
private boolean cancelled
-
-
Constructor Details
-
CheckDeadline
-
-
Method Details
-
cancel
void cancel() -
run
public void run()- Specified by:
run
in interfacejava.lang.Runnable
-