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.
| |