docs: private void updateDomains(int[]... allModels) {
  		HashSet<Variable> allVars = new HashSet<Variable>();
  		allVars.addAll(Arrays.asList(this.getConstraintNetwork().getVariables()));
  		for (int[] oneModel : allModels) {
  			for (int i : oneModel) {
  				BooleanVariable bv = (BooleanVariable)this.getConstraintNetwork().getVariable(Math.abs(i));
  				if (bv != null) {
  					if (i < 0) bv.allowFalse();
  					else bv.allowTrue();
  					if (allVars.contains(bv)) allVars.remove(bv);
  					//System.out.println("BV (" + i + ") " + bv);
  				}
  			}
  		}
  		for (Variable var : allVars) {
  			((BooleanVariable)var).allowFalse();
  			((BooleanVariable)var).allowTrue();
  		}
  	}