Home
last modified time | relevance | path

Searched refs:HighsBoundType (Results 1 – 8 of 8) sorted by relevance

/dports/math/highs/HiGHS-cfe064e/src/mip/
H A DHighsSearch.cpp94 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 DHighsImplications.cpp25 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 DHighsDomain.h161 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 DHighsDomainChange.h14 enum class HighsBoundType { Lower, Upper }; enum
17 HighsBoundType boundtype;
H A DHighsDomain.cpp147 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 DHighsCliqueTable.cpp934 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 DHighsSeparation.cpp968 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 DHighsLpPropagator.cpp160 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()