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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
// $Id: CbcPartialNodeInfo.hpp 1899 2013-04-09 18:12:08Z stefan $
// 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).
// Edwin 11/24/09 carved from CbcNode
#ifndef CbcPartialNodeInfo_H
#define CbcPartialNodeInfo_H
#include <string>
#include <vector>
#include "CoinWarmStartBasis.hpp"
#include "CoinSearchTree.hpp"
#include "CbcBranchBase.hpp"
#include "CbcNodeInfo.hpp"
class OsiSolverInterface;
class OsiSolverBranch;
class OsiCuts;
class OsiRowCut;
class OsiRowCutDebugger;
class CoinWarmStartBasis;
class CbcCountRowCut;
class CbcModel;
class CbcNode;
class CbcSubProblem;
class CbcGeneralBranchingObject;
/** \brief Holds information for recreating a subproblem by incremental change
from the parent.
A CbcPartialNodeInfo object contains changes to the bounds and basis, and
additional cuts, required to recreate a subproblem by modifying and
augmenting the parent subproblem.
*/
class CbcPartialNodeInfo : public CbcNodeInfo {
public:
/** \brief Modify model according to information at node
The routine modifies the model according to bound and basis change
information at node and adds any cuts to the addCuts array.
*/
virtual void applyToModel (CbcModel *model, CoinWarmStartBasis *&basis,
CbcCountRowCut **addCuts,
int ¤tNumberCuts) const ;
/// Just apply bounds to one variable - force means overwrite by lower,upper (1=>infeasible)
virtual int applyBounds(int iColumn, double & lower, double & upper, int force) ;
/** Builds up row basis backwards (until original model).
Returns NULL or previous one to apply .
Depends on Free being 0 and impossible for cuts
*/
virtual CbcNodeInfo * buildRowBasis(CoinWarmStartBasis & basis ) const ;
// Default Constructor
CbcPartialNodeInfo ();
// Constructor from current state
CbcPartialNodeInfo (CbcNodeInfo * parent, CbcNode * owner,
int numberChangedBounds, const int * variables,
const double * boundChanges,
const CoinWarmStartDiff *basisDiff) ;
// Copy constructor
CbcPartialNodeInfo ( const CbcPartialNodeInfo &);
// Destructor
~CbcPartialNodeInfo ();
/// Clone
virtual CbcNodeInfo * clone() const;
/// Basis diff information
inline const CoinWarmStartDiff *basisDiff() const {
return basisDiff_ ;
}
/// Which variable (top bit if upper bound changing)
inline const int * variables() const {
return variables_;
}
// New bound
inline const double * newBounds() const {
return newBounds_;
}
/// Number of bound changes
inline int numberChangedBounds() const {
return numberChangedBounds_;
}
protected:
/* Data values */
/// Basis diff information
CoinWarmStartDiff *basisDiff_ ;
/// Which variable (top bit if upper bound changing)
int * variables_;
// New bound
double * newBounds_;
/// Number of bound changes
int numberChangedBounds_;
private:
/// Illegal Assignment operator
CbcPartialNodeInfo & operator=(const CbcPartialNodeInfo& rhs);
};
#endif //CbcPartialNodeInfo_H
|
