Processes
Class FirstExitTime_nD

java.lang.Object
  extended byProcesses.FirstExitTime_nD
All Implemented Interfaces:
StoppingTime

public class FirstExitTime_nD
extends java.lang.Object
implements StoppingTime

Stopping time triggering as soon as an n-dimensional process X * exits an n-dimensional region D. * *

WARNING: Equality of the dimensions of X and D is not checked * at initialization. Behaviour is undefined if these are not equal.

* * @author Michael J. Meyer


Constructor Summary
FirstExitTime_nD(VectorProcess X, Region_nD D)
          Constructor * * @param X vector process exiting region D.
 
Method Summary
 boolean stop(int t)
          stop as soon as X(t) exits D or t=horizon.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FirstExitTime_nD

public FirstExitTime_nD(VectorProcess X,
                        Region_nD D)
Constructor * * @param X vector process exiting region D. * @param D Region exited by vector process X.

Method Detail

stop

public boolean stop(int t)
stop as soon as X(t) exits D or t=horizon.

Specified by:
stop in interface StoppingTime