/**
  * Add event to the correct partially stored int vector
  *
  * @param dynamicAddition static or dynamic constraint
  * @param constraintIdx index of the constraint
  */
 private void addEvent(boolean dynamicAddition, int constraintIdx) {
   if (dynamicAddition) {
     events.add(constraintIdx);
   } else {
     events.staticAdd(constraintIdx);
   }
 }
 /**
  * Removes (permanently) a constraint from the list of constraints connected to the variable.
  *
  * @param c the constraint that should be removed from the list this variable maintains.
  */
 public int eraseConstraint(SConstraint c) {
   int idx = super.eraseConstraint(c);
   int mask = ((AbstractIntSConstraint) c).getFilteredEventMask(indices.get(idx));
   if ((mask & HYPDOMMODbitvector) != 0) {
     events.remove(idx);
   }
   return idx;
 }