public void addConstraint(Constraint constraint) { constraints.Add(constraint); foreach (Variable var in constraint.getScope()) cnet.get(var).Add(constraint); }