Searched refs:HighsBoundType (Results 1 – 8 of 8) sorted by relevance
/dports/math/highs/HiGHS-cfe064e/src/mip/ |
H A D | HighsSearch.cpp | 94 domain.changeBound(HighsBoundType::Lower, i, fixval, 100 domain.changeBound(HighsBoundType::Upper, i, fixval, 173 localdom.changeBound(HighsBoundType::Lower, i, in setRINSNeighbourhood() 176 localdom.changeBound(HighsBoundType::Upper, i, in setRINSNeighbourhood() 191 localdom.changeBound(HighsBoundType::Lower, i, in setRENSNeighbourhood() 196 localdom.changeBound(HighsBoundType::Upper, i, in setRENSNeighbourhood() 394 HighsBoundType::Lower; in heuristicSearchNew() 407 HighsBoundType::Upper; in heuristicSearchNew() 646 localdom.changeBound(HighsBoundType::Upper, col, downval); in selectBranchingCandidate() 762 localdom.changeBound(HighsBoundType::Lower, col, upval); in selectBranchingCandidate() [all …]
|
H A D | HighsImplications.cpp | 25 globaldomain.changeBound(HighsBoundType::Lower, col, 1); in computeImplications() 27 globaldomain.changeBound(HighsBoundType::Upper, col, 0); in computeImplications() 83 if (i->boundtype == HighsBoundType::Lower) in computeImplications() 132 if ((implicsup[u].boundtype == HighsBoundType::Lower && in runProbing() 134 (implicsup[u].boundtype == HighsBoundType::Upper && in runProbing()
|
H A D | HighsDomain.h | 161 void changeBound(HighsBoundType boundtype, int col, double boundval, 169 changeBound({HighsBoundType::Lower, col, val}, -2); in fixCol() 172 changeBound({HighsBoundType::Upper, col, val}, -2); in fixCol() 186 if ((domchg.boundtype == HighsBoundType::Lower && in getReducedDomainChangeStack() 188 (domchg.boundtype == HighsBoundType::Upper && in getReducedDomainChangeStack()
|
H A D | HighsDomainChange.h | 14 enum class HighsBoundType { Lower, Upper }; enum 17 HighsBoundType boundtype;
|
H A D | HighsDomain.cpp | 147 boundchgs[numchgs++] = {HighsBoundType::Upper, Rindex[i], bound}; in propagateRowUpper() 175 boundchgs[numchgs++] = {HighsBoundType::Lower, Rindex[i], bound}; in propagateRowUpper() 229 boundchgs[numchgs++] = {HighsBoundType::Upper, Rindex[i], bound}; in propagateRowLower() 256 boundchgs[numchgs++] = {HighsBoundType::Lower, Rindex[i], bound}; in propagateRowLower() 583 if (boundchg.boundtype == HighsBoundType::Lower) { in doChangeBound() 610 if (boundchg.boundtype == HighsBoundType::Lower) { in changeBound() 652 if (domchgstack[k].boundtype == HighsBoundType::Lower && in setDomainChangeStack() 655 if (domchgstack[k].boundtype == HighsBoundType::Upper && in setDomainChangeStack() 686 return HighsDomainChange({HighsBoundType::Lower, -1, 0.0}); in backtrack() 912 double otherbound = domchg.boundtype == HighsBoundType::Upper in isFixing()
|
H A D | HighsCliqueTable.cpp | 934 domain.changeBound(HighsBoundType::Upper, cliqueentries[i].col, 0.0, in addImplications() 940 domain.changeBound(HighsBoundType::Lower, cliqueentries[i].col, 1.0, in addImplications() 971 domain.changeBound(HighsBoundType::Upper, cliqueentries[i].col, 0.0, in addImplications() 977 domain.changeBound(HighsBoundType::Lower, cliqueentries[i].col, 1.0, in addImplications()
|
H A D | HighsSeparation.cpp | 968 if (implics[i].boundtype == HighsBoundType::Upper) { in separateImplBounds() 1023 if (implics[i].boundtype == HighsBoundType::Upper) { in separateImplBounds()
|
/dports/math/highs/HiGHS-cfe064e/src/presolve/ |
H A D | HighsLpPropagator.cpp | 160 boundchgs[numchgs++] = {HighsBoundType::Upper, Rindex[i], bound}; in propagateRowUpper() 185 boundchgs[numchgs++] = {HighsBoundType::Lower, Rindex[i], bound}; in propagateRowUpper() 238 boundchgs[numchgs++] = {HighsBoundType::Upper, Rindex[i], bound}; in propagateRowLower() 261 boundchgs[numchgs++] = {HighsBoundType::Lower, Rindex[i], bound}; in propagateRowLower() 431 if (boundchg.boundtype == HighsBoundType::Lower) { in doChangeBound() 446 if (boundchg.boundtype == HighsBoundType::Lower) { in changeBound()
|