code: @Override
  	public void propagate(int evtmask) throws ContradictionException {
  		int n = g.getNbMaxNodes();
  		for (int i : g.getPotentialNodes()) {
  			for (int j = 0; j < n; j++) {
  				if (g.getMandSuccOrNeighOf(i).contains(j)) {
  					arcEnforced(i, j);
  				} else if (!g.getPotSuccOrNeighOf(i).contains(j)) {
  					arcRemoved(i, j);
  				}
  			}
  		}
  		filter();
  		gdm.unfreeze();
  	}
docs: ***********************************************************************************