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

    Fields
    Modifier and Type Field Description
    private boolean cancelled  
    private Event event  
    private int id  
    private TransitionSystem ts  
  • Constructor Summary

    Constructors
    Constructor Description
    CheckDeadline​(Trigger te, TransitionSystem ts)  
  • Method Summary

    Modifier and Type Method Description
    (package private) void cancel()  
    void run()  

    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

      private Event event
    • ts

      private TransitionSystem ts
    • cancelled

      private boolean cancelled
  • Constructor Details

  • Method Details

    • cancel

      void cancel()
    • run

      public void run()
      Specified by:
      run in interface java.lang.Runnable