Searched refs:boundsAreEqual (Results 1 – 6 of 6) sorted by relevance
325 bool aFrozen = d_variables.boundsAreEqual(a.leaving()); in preferFrozen()326 bool bFrozen = d_variables.boundsAreEqual(b.leaving()); in preferFrozen()
310 bool ArithVariables::boundsAreEqual(ArithVar x) const{ in boundsAreEqual() function in CVC4::theory::arith::ArithVariables320 Assert(boundsAreEqual(x)); in explainEqualBounds()
279 bool boundsAreEqual(ArithVar x) const;
642 if(d_vars.boundsAreEqual(v)){ in ApproxGLPK()773 if(d_vars.boundsAreEqual(v)){ in heuristicOptCoeffs()1797 if(vars.boundsAreEqual(x)){ in removeFixed()1805 Assert(vars.boundsAreEqual(x)); in removeFixed()3038 if(d_vars.boundsAreEqual(x)){ in constructGmiCut()
1113 int yWillBeAtUb = (bToUB || d_variables.boundsAreEqual(basic)) ? 1 : 0; in willBeInConflictAfterPivot()1114 int yWillBeAtLb = (!bToUB || d_variables.boundsAreEqual(basic)) ? 1 : 0; in willBeInConflictAfterPivot()
1851 if(!d_partialModel.boundsAreEqual(v)){ in dioCutting()1898 Assert(d_partialModel.boundsAreEqual(v)); in callDioSolver()