code: @Override
  	public void propagate(int evtmask) throws ContradictionException {
  		for (int i = 0; i < n; i++) {
  			dMax[i] = deg[i].getUB();
  		}
  		super.propagate(evtmask);
  	}
docs: ***********************************************************************************