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