Processes
Class HittingTime_nD

java.lang.Object
  Processes.HittingTime_nD

All Implemented Interfaces:

StoppingTime

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

HittingTime_nD

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

stop

public boolean stop(int t)

Stop as soon as X(t) hits D or t=horizon.

Specified by:

stop in interface StoppingTime