/** * 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; }