this
should be scheduled. At least, this method SHOULD check the propagation condition of the event received. In addition, this method can be used to update internal state of this
. This method can returns true
even if the propagator is already scheduled.
@param idxVarInProp index of the modified variable
@param mask modification event mask
@return true
if this
should be scheduled, false
otherwise.
|
|