Class HittingTime_nD

  extended byProcesses.HittingTime_nD
All Implemented Interfaces:

public class HittingTime_nD
extends java.lang.Object
implements StoppingTime

Stopping time triggering as soon as an n-dimensional process X * hits an n-dimensional dregion D. * *

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

* * @author Michael J. Meyer

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

Constructor Detail


public HittingTime_nD(VectorProcess X,
                      Region_nD D)
Constructor * * @param X vector process hitting region D. * @param D Region hit by vector process X.

Method Detail


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

Specified by:
stop in interface StoppingTime