Lines Matching defs:_var
29 IlcIntVar _var;
34 IlcConstraintI(m), _var(var), _array(array) { first_time = IlcTrue;}
50 IlcIntVar _var;
55 IlcConstraintI(m), _var(var), _array(array) { first_time = IlcTrue;}
73 return OneOf(_var, _array).getImpl();
79 _var.whenValue(this);
86 if (_var.isBound()) {
88 IlcInt val = _var.getValue();
97 _var.removeValue(_array[i].getValue());
102 _var.removeValue(_array[i].getValue());
108 OutOfI::isViolated() const // if _var == _array[i] for some i
110 if (_var.isBound()) {
111 IlcInt val = _var.getValue();
125 _var.whenValue(c);
134 return OutOf(_var, _array).getImpl();
140 _var.whenValue(this);
147 if (_var.isBound()) {
149 IlcInt val = _var.getValue();
160 OneOfI::isViolated() const // if _var != _array[i] for all i
162 if (_var.isBound()) {
163 IlcInt val = _var.getValue();
178 _var.whenValue(c);