| /dports/math/highs/HiGHS-cfe064e/src/mip/ |
| H A D | HighsCliqueTable.h | 20 class HighsDomain; variable
118 void extractCliques(HighsDomain& globaldom, std::vector<int>& inds,
124 void processInfeasibleVertices(HighsDomain& domain);
126 void propagateAndCleanup(HighsDomain& globaldom);
141 void addClique(HighsDomain& globaldom, CliqueVar* cliquevars,
167 bool foundCover(HighsDomain& globaldom, CliqueVar v1, CliqueVar v2);
171 void vertexInfeasible(HighsDomain& globaldom, int col, int val);
187 const HighsDomain& globaldom, HighsDomain& localdom,
190 void cleanupFixed(HighsDomain& globaldom);
192 void addImplications(HighsDomain& domain, int col, int val);
[all …]
|
| H A D | HighsDomain.h | 24 class HighsDomain {
49 HighsDomain* parentdomain;
78 HighsDomain(HighsMipSolver& mipsolver, HighsCutPool& cutpool);
80 HighsDomain(const HighsDomain& other) in HighsDomain() function
104 HighsDomain& operator=(const HighsDomain&) = default;
106 HighsDomain createChildDomain() { in createChildDomain()
107 HighsDomain childdomain(*this); in createChildDomain()
145 void setParentDomain(HighsDomain* parentdomain) { in setParentDomain()
|
| H A D | HighsSeparation.h | 48 void retransformAndAddCut(const HighsDomain& domain,
53 HighsDomain& propdomain, bool cutintegral) const;
56 int separationRound(HighsDomain& propdomain,
59 void separate(HighsDomain& propdomain);
62 HighsDomain& localdomain,
|
| H A D | HighsDomain.cpp | 46 HighsDomain::HighsDomain(HighsMipSolver& mipsolver, HighsCutPool& cutpool) in HighsDomain() function in HighsDomain
263 void HighsDomain::updateActivityLbChange(int col, double oldbound, in updateActivityLbChange()
374 void HighsDomain::updateActivityUbChange(int col, double oldbound, in updateActivityUbChange()
488 void HighsDomain::markPropagateCut(int cut) { in markPropagateCut()
501 void HighsDomain::markPropagate(int row) { in markPropagate()
524 void HighsDomain::cutAdded(int cut) { in cutAdded()
550 void HighsDomain::computeRowActivities() { in computeRowActivities()
643 void HighsDomain::setDomainChangeStack( in setDomainChangeStack()
665 HighsDomainChange HighsDomain::backtrack() { in backtrack()
697 void HighsDomain::propagate() { in propagate()
[all …]
|
| H A D | HighsLpRelaxation.h | 18 class HighsDomain; variable
146 void flushDomain(HighsDomain& domain, bool continuous = false);
160 bool computeDualProof(const HighsDomain& globaldomain, double upperbound,
164 bool computeDualInfProof(const HighsDomain& globaldomain,
|
| H A D | HighsImplications.h | 35 HighsDomain& globaldomain;
39 HighsImplications(HighsDomain& globaldom, HighsCliqueTable& cliquetable) in HighsImplications()
|
| H A D | HighsCliqueTable.cpp | 209 static void printRow(const HighsDomain& domain, const int* inds,
328 bool HighsCliqueTable::processNewEdge(HighsDomain& globaldom, CliqueVar v1, in processNewEdge()
604 bool HighsCliqueTable::foundCover(HighsDomain& globaldom, CliqueVar v1, in foundCover()
645 HighsDomain& globaldom = mipsolver.mipdata_->domain; in extractCliques()
776 void HighsCliqueTable::processInfeasibleVertices(HighsDomain& globaldom) { in processInfeasibleVertices()
814 void HighsCliqueTable::propagateAndCleanup(HighsDomain& globaldom) { in propagateAndCleanup()
840 void HighsCliqueTable::vertexInfeasible(HighsDomain& globaldom, int col, in vertexInfeasible()
851 const HighsDomain& globaldom, in separateCliques()
852 HighsDomain& localdom, in separateCliques()
985 void HighsCliqueTable::cleanupFixed(HighsDomain& globaldom) { in cleanupFixed()
[all …]
|
| H A D | HighsSearch.h | 31 HighsDomain localdom;
101 HighsDomain& getLocalDomain() { return localdom; } in getLocalDomain()
|
| H A D | HighsSeparation.cpp | 363 const HighsMipSolver& mip, const HighsDomain& domain, in transformBaseEquation()
922 HighsDomain& propdomain) { in separateImplBounds()
1068 const HighsDomain& domain;
1070 HighsDomain& propdomain;
1126 const HighsDomain& domain, HighsCutPool& cutpool, in AggregationHeuristic()
1127 HighsDomain& propdomain) in AggregationHeuristic()
1932 HighsCutPool& cutpool, HighsDomain& propdomain) { in doSeparate()
2142 const HighsDomain& domain, const HighsLpRelaxation& lp, in retransformAndAddCut()
2238 int HighsSeparation::separationRound(HighsDomain& propdomain, in separationRound()
2326 const HighsDomain& globaldomain = mipsolver.mipdata_->domain; in computeAndAddConflictCut()
[all …]
|
| H A D | HighsMipSolverData.h | 34 HighsDomain domain;
|
| H A D | HighsCutPool.h | 96 void separate(const std::vector<double>& sol, HighsDomain& domprop,
|
| H A D | HighsLpRelaxation.cpp | 103 void HighsLpRelaxation::flushDomain(HighsDomain& domain, bool continuous) { in flushDomain()
118 bool HighsLpRelaxation::computeDualProof(const HighsDomain& globaldomain, in computeDualProof()
446 bool HighsLpRelaxation::computeDualInfProof(const HighsDomain& globaldomain, in computeDualInfProof()
|
| H A D | HighsCutPool.cpp | 158 void HighsCutPool::separate(const std::vector<double>& sol, HighsDomain& domain, in separate()
|
| H A D | HighsMipSolverData.cpp | 264 HighsDomain(mipsolver, mipsolver.mipdata_->cutpool); in ModelCleanup()
|
| H A D | HighsSearch.cpp | 62 HighsDomain& domain = localdom;
|