Triggers
Class NullTrigger

java.lang.Object
  extended byTriggers.Trigger
      extended byTriggers.NullTrigger

public class NullTrigger
extends Trigger

Event is triggered only at the time horizon.


Constructor Summary
NullTrigger(int T)
           
 
Method Summary
 boolean isTriggered(int t, int s)
          Event is triggered only as the time horizon is hit.
 
Methods inherited from class Triggers.Trigger
nextTime
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NullTrigger

public NullTrigger(int T)
Parameters:
T - number of ime steps to horizon.
Method Detail

isTriggered

public boolean isTriggered(int t,
                           int s)
Event is triggered only as the time horizon is hit.

Specified by:
isTriggered in class Trigger
Parameters:
t - reference time < s.
s - current time.