/usr/include/coin/CbcBranchBase.hpp is in coinor-libcbc-dev 2.8.12-1+b2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 | /* $Id: CbcBranchBase.hpp 1573 2011-01-05 01:12:36Z lou $ */
// Copyright (C) 2002, International Business Machines
// Corporation and others. All Rights Reserved.
// This code is licensed under the terms of the Eclipse Public License (EPL).
#ifndef CbcBranchBase_H
#define CbcBranchBase_H
#include <string>
#include <vector>
#include "OsiBranchingObject.hpp"
enum CbcRangeCompare {
CbcRangeSame,
CbcRangeDisjoint,
CbcRangeSubset,
CbcRangeSuperset,
CbcRangeOverlap
};
#include "CbcObject.hpp"
#include "CbcBranchingObject.hpp"
#include "CbcBranchDecision.hpp"
#include "CbcConsequence.hpp"
#include "CbcObjectUpdateData.hpp"
//##############################################################################
/** Compare two ranges. The two bounds arrays are both of size two and
describe closed intervals. Return the appropriate CbcRangeCompare value
(first argument being the sub/superset if that's the case). In case of
overlap (and if \c replaceIfOverlap is true) replace the content of thisBd
with the intersection of the ranges.
*/
static inline CbcRangeCompare
CbcCompareRanges(double* thisBd, const double* otherBd,
const bool replaceIfOverlap)
{
const double lbDiff = thisBd[0] - otherBd[0];
if (lbDiff < 0) { // lb of this < lb of other
if (thisBd[1] >= otherBd[1]) { // ub of this >= ub of other
return CbcRangeSuperset;
} else if (thisBd[1] < otherBd[0]) {
return CbcRangeDisjoint;
} else {
// overlap
if (replaceIfOverlap) {
thisBd[0] = otherBd[0];
}
return CbcRangeOverlap;
}
} else if (lbDiff > 0) { // lb of this > lb of other
if (thisBd[1] <= otherBd[1]) { // ub of this <= ub of other
return CbcRangeSubset;
} else if (thisBd[0] > otherBd[1]) {
return CbcRangeDisjoint;
} else {
// overlap
if (replaceIfOverlap) {
thisBd[1] = otherBd[1];
}
return CbcRangeOverlap;
}
} else { // lb of this == lb of other
if (thisBd[1] == otherBd[1]) {
return CbcRangeSame;
}
return thisBd[1] < otherBd[1] ? CbcRangeSubset : CbcRangeSuperset;
}
return CbcRangeSame; // fake return
}
//#############################################################################
#endif
|