#include <CbcNode.hpp>
Inheritance diagram for CbcNode:
Public Member Functions | |
CbcNode () | |
Default Constructor. | |
CbcNode (CbcModel *model, CbcNode *lastNode) | |
Construct and increment parent reference count. | |
CbcNode (const CbcNode &) | |
Copy constructor. | |
CbcNode & | operator= (const CbcNode &rhs) |
Assignment operator. | |
~CbcNode () | |
Destructor. | |
void | createInfo (CbcModel *model, CbcNode *lastNode, const CoinWarmStartBasis *lastws, const double *lastLower, const double *lastUpper, int numberOldActiveCuts, int numberNewCuts) |
Create a description of the subproblem at this node. | |
int | chooseBranch (CbcModel *model, CbcNode *lastNode, int numberPassesLeft) |
Create a branching object for the node. | |
int | chooseDynamicBranch (CbcModel *model, CbcNode *lastNode, OsiSolverBranch *&branches, int numberPassesLeft) |
Create a branching object for the node - when dynamic pseudo costs. | |
int | chooseOsiBranch (CbcModel *model, CbcNode *lastNode, OsiBranchingInformation *usefulInfo, int branchState) |
Create a branching object for the node. | |
int | analyze (CbcModel *model, double *results) |
void | decrementCuts (int change=1) |
Decrement active cut counts. | |
void | decrementParentCuts (CbcModel *model, int change=1) |
Decrement all active cut counts in chain starting at parent. | |
void | nullNodeInfo () |
Nulls out node info. | |
void | initializeInfo () |
Initialize reference counts in attached CbcNodeInfo. | |
int | branch (OsiSolverInterface *solver) |
Does next branch and updates state. | |
CbcNodeInfo * | nodeInfo () const |
double | objectiveValue () const |
void | setObjectiveValue (double value) |
int | numberBranches () const |
Number of arms defined for the attached OsiBranchingObject. | |
int | way () const |
int | depth () const |
Depth in branch-and-cut search tree. | |
int | numberUnsatisfied () const |
Get the number of objects unsatisfied at this node. | |
double | sumInfeasibilities () const |
Sum of "infeasibilities" reported by each object. | |
double | guessedObjectiveValue () const |
void | setGuessedObjectiveValue (double value) |
const OsiBranchingObject * | branchingObject () const |
Branching object for this node. | |
OsiBranchingObject * | modifiableBranchingObject () const |
Modifiable branching object for this node. | |
void | setBranchingObject (OsiBranchingObject *branchingObject) |
Set branching object for this node (takes ownership). | |
int | nodeNumber () const |
The node number. | |
void | setNodeNumber (int node) |
bool | onTree () const |
Returns true if on tree. | |
void | setOnTree (bool yesNo) |
Sets true if on tree. | |
bool | active () const |
Returns true if active. | |
void | setActive (bool yesNo) |
Sets true if active. | |
void | print () const |
Print. | |
Private Attributes | |
CbcNodeInfo * | nodeInfo_ |
Information to make basis and bounds. | |
double | objectiveValue_ |
Objective value. | |
double | guessedObjectiveValue_ |
Guessed satisfied Objective value. | |
double | sumInfeasibilities_ |
Sum of "infeasibilities" reported by each object. | |
OsiBranchingObject * | branch_ |
Branching object for this node. | |
int | depth_ |
Depth of the node in the search tree. | |
int | numberUnsatisfied_ |
The number of objects unsatisfied at this node. | |
int | nodeNumber_ |
The node number. | |
int | state_ |
State 1 - on tree 2 - active. |
When a subproblem is initially created, it is represented by an CbcNode object and an attached CbcNodeInfo object.
The CbcNode contains information (depth, branching instructions), that's needed while the subproblem remains `live', i.e., while the subproblem is not fathomed and there are branch arms still be be evaluated. The CbcNode is deleted when the last branch arm has been evaluated.
The CbcNodeInfo object contains the information needed to maintain the search tree and recreate the subproblem for the node. It remains in existence until there are no nodes remaining in the subtree rooted at this node.
Definition at line 456 of file CbcNode.hpp.
CbcNode::CbcNode | ( | ) |
Default Constructor.
Construct and increment parent reference count.
CbcNode::CbcNode | ( | const CbcNode & | ) |
Copy constructor.
CbcNode::~CbcNode | ( | ) |
Destructor.
void CbcNode::createInfo | ( | CbcModel * | model, | |
CbcNode * | lastNode, | |||
const CoinWarmStartBasis * | lastws, | |||
const double * | lastLower, | |||
const double * | lastUpper, | |||
int | numberOldActiveCuts, | |||
int | numberNewCuts | |||
) |
Create a description of the subproblem at this node.
The CbcNodeInfo structure holds the information (basis & variable bounds) required to recreate the subproblem for this node. It also links the node to its parent (via the parent's CbcNodeInfo object).
If lastNode == NULL, a CbcFullNodeInfo object will be created. All parameters except model
are unused.
If lastNode != NULL, a CbcPartialNodeInfo object will be created. Basis and bounds information will be stored in the form of differences between the parent subproblem and this subproblem. (More precisely, lastws
, lastUpper
, lastLower
, numberOldActiveCuts
, and numberNewCuts
are used.)
Create a branching object for the node.
The routine scans the object list of the model and selects a set of unsatisfied objects as candidates for branching. The candidates are evaluated, and an appropriate branch object is installed.
The numberPassesLeft is decremented to stop fixing one variable each time and going on and on (e.g. for stock cutting, air crew scheduling)
If evaluation determines that an object is monotone or infeasible, the routine returns immediately. In the case of a monotone object, the branch object has already been called to modify the model.
Return value:
int CbcNode::chooseDynamicBranch | ( | CbcModel * | model, | |
CbcNode * | lastNode, | |||
OsiSolverBranch *& | branches, | |||
int | numberPassesLeft | |||
) |
Create a branching object for the node - when dynamic pseudo costs.
The routine scans the object list of the model and selects a set of unsatisfied objects as candidates for branching. The candidates are evaluated, and an appropriate branch object is installed. This version gives preference in evaluation to variables which have not been evaluated many times. It also uses numberStrong to say give up if last few tries have not changed incumbent. See Achterberg, Koch and Martin.
The numberPassesLeft is decremented to stop fixing one variable each time and going on and on (e.g. for stock cutting, air crew scheduling)
If evaluation determines that an object is monotone or infeasible, the routine returns immediately. In the case of a monotone object, the branch object has already been called to modify the model.
Return value:
int CbcNode::chooseOsiBranch | ( | CbcModel * | model, | |
CbcNode * | lastNode, | |||
OsiBranchingInformation * | usefulInfo, | |||
int | branchState | |||
) |
Create a branching object for the node.
The routine scans the object list of the model and selects a set of unsatisfied objects as candidates for branching. The candidates are evaluated, and an appropriate branch object is installed.
The numberPassesLeft is decremented to stop fixing one variable each time and going on and on (e.g. for stock cutting, air crew scheduling)
If evaluation determines that an object is monotone or infeasible, the routine returns immediately. In the case of a monotone object, the branch object has already been called to modify the model.
Return value:
int CbcNode::analyze | ( | CbcModel * | model, | |
double * | results | |||
) |
void CbcNode::decrementCuts | ( | int | change = 1 |
) |
Decrement active cut counts.
void CbcNode::decrementParentCuts | ( | CbcModel * | model, | |
int | change = 1 | |||
) |
Decrement all active cut counts in chain starting at parent.
void CbcNode::nullNodeInfo | ( | ) |
Nulls out node info.
void CbcNode::initializeInfo | ( | ) |
Initialize reference counts in attached CbcNodeInfo.
This is a convenience routine, which will initialize the reference counts in the attached CbcNodeInfo object based on the attached OsiBranchingObject.
int CbcNode::branch | ( | OsiSolverInterface * | solver | ) |
Does next branch and updates state.
CbcNodeInfo* CbcNode::nodeInfo | ( | ) | const [inline] |
Definition at line 602 of file CbcNode.hpp.
References nodeInfo_.
Referenced by CbcCompareBase::equalityTest().
double CbcNode::objectiveValue | ( | ) | const [inline] |
void CbcNode::setObjectiveValue | ( | double | value | ) | [inline] |
int CbcNode::numberBranches | ( | ) | const [inline] |
Number of arms defined for the attached OsiBranchingObject.
Definition at line 611 of file CbcNode.hpp.
References branch_, and OsiBranchingObject::numberBranches().
int CbcNode::way | ( | ) | const |
int CbcNode::depth | ( | ) | const [inline] |
int CbcNode::numberUnsatisfied | ( | ) | const [inline] |
Get the number of objects unsatisfied at this node.
Definition at line 628 of file CbcNode.hpp.
References numberUnsatisfied_.
double CbcNode::sumInfeasibilities | ( | ) | const [inline] |
Sum of "infeasibilities" reported by each object.
Definition at line 631 of file CbcNode.hpp.
References sumInfeasibilities_.
double CbcNode::guessedObjectiveValue | ( | ) | const [inline] |
void CbcNode::setGuessedObjectiveValue | ( | double | value | ) | [inline] |
const OsiBranchingObject* CbcNode::branchingObject | ( | ) | const [inline] |
Branching object for this node.
Definition at line 639 of file CbcNode.hpp.
References branch_.
Referenced by setBranchingObject().
OsiBranchingObject* CbcNode::modifiableBranchingObject | ( | ) | const [inline] |
Modifiable branching object for this node.
Definition at line 642 of file CbcNode.hpp.
References branch_.
void CbcNode::setBranchingObject | ( | OsiBranchingObject * | branchingObject | ) | [inline] |
Set branching object for this node (takes ownership).
Definition at line 645 of file CbcNode.hpp.
References branch_, and branchingObject().
int CbcNode::nodeNumber | ( | ) | const [inline] |
The node number.
Definition at line 648 of file CbcNode.hpp.
References nodeNumber_.
Referenced by CbcCompareBase::equalityTest().
void CbcNode::setNodeNumber | ( | int | node | ) | [inline] |
bool CbcNode::onTree | ( | ) | const [inline] |
void CbcNode::setOnTree | ( | bool | yesNo | ) | [inline] |
bool CbcNode::active | ( | ) | const [inline] |
void CbcNode::setActive | ( | bool | yesNo | ) | [inline] |
void CbcNode::print | ( | ) | const |
Print.
CbcNodeInfo* CbcNode::nodeInfo_ [private] |
Information to make basis and bounds.
Definition at line 670 of file CbcNode.hpp.
Referenced by nodeInfo().
double CbcNode::objectiveValue_ [private] |
Objective value.
Definition at line 672 of file CbcNode.hpp.
Referenced by objectiveValue(), and setObjectiveValue().
double CbcNode::guessedObjectiveValue_ [private] |
Guessed satisfied Objective value.
Definition at line 674 of file CbcNode.hpp.
Referenced by guessedObjectiveValue(), and setGuessedObjectiveValue().
double CbcNode::sumInfeasibilities_ [private] |
Sum of "infeasibilities" reported by each object.
Definition at line 676 of file CbcNode.hpp.
Referenced by sumInfeasibilities().
OsiBranchingObject* CbcNode::branch_ [private] |
Branching object for this node.
Definition at line 678 of file CbcNode.hpp.
Referenced by branchingObject(), modifiableBranchingObject(), numberBranches(), and setBranchingObject().
int CbcNode::depth_ [private] |
Depth of the node in the search tree.
Reimplemented from CoinTreeNode.
Definition at line 680 of file CbcNode.hpp.
Referenced by depth().
int CbcNode::numberUnsatisfied_ [private] |
The number of objects unsatisfied at this node.
Definition at line 682 of file CbcNode.hpp.
Referenced by numberUnsatisfied().
int CbcNode::nodeNumber_ [private] |
The node number.
Definition at line 684 of file CbcNode.hpp.
Referenced by nodeNumber(), and setNodeNumber().
int CbcNode::state_ [private] |
State 1 - on tree 2 - active.
Definition at line 689 of file CbcNode.hpp.
Referenced by active(), onTree(), setActive(), and setOnTree().