Home
last modified time | relevance | path

Searched refs:boundsAreEqual (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dlinear_equality.h325 bool aFrozen = d_variables.boundsAreEqual(a.leaving()); in preferFrozen()
326 bool bFrozen = d_variables.boundsAreEqual(b.leaving()); in preferFrozen()
H A Dpartial_model.cpp310 bool ArithVariables::boundsAreEqual(ArithVar x) const{ in boundsAreEqual() function in CVC4::theory::arith::ArithVariables
320 Assert(boundsAreEqual(x)); in explainEqualBounds()
H A Dpartial_model.h279 bool boundsAreEqual(ArithVar x) const;
H A Dapprox_simplex.cpp642 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()
H A Dlinear_equality.cpp1113 int yWillBeAtUb = (bToUB || d_variables.boundsAreEqual(basic)) ? 1 : 0; in willBeInConflictAfterPivot()
1114 int yWillBeAtLb = (!bToUB || d_variables.boundsAreEqual(basic)) ? 1 : 0; in willBeInConflictAfterPivot()
H A Dtheory_arith_private.cpp1851 if(!d_partialModel.boundsAreEqual(v)){ in dioCutting()
1898 Assert(d_partialModel.boundsAreEqual(v)); in callDioSolver()