public NotEqualConstraint(Variable var1, Variable var2) { this.var1 = var1; this.var2 = var2; scope = new List<Variable>(2); scope.Add(var1); scope.Add(var2); }