#include <CbcObject.hpp>
Public Member Functions | |
CbcObject () | |
CbcObject (CbcModel *model) | |
CbcObject (const CbcObject &) | |
CbcObject & | operator= (const CbcObject &rhs) |
virtual CbcObject * | clone () const =0 |
Clone. | |
virtual | ~CbcObject () |
Destructor. | |
virtual double | infeasibility (const OsiBranchingInformation *, int &preferredWay) const |
Infeasibility of the object. | |
virtual double | infeasibility (int &) const |
virtual void | feasibleRegion ()=0 |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution. | |
virtual double | feasibleRegion (OsiSolverInterface *solver, const OsiBranchingInformation *info) const |
Dummy one for compatibility. | |
virtual double | feasibleRegion (OsiSolverInterface *solver) const |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution. | |
virtual CbcBranchingObject * | createCbcBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way) |
Create a branching object and indicate which way to branch first. | |
virtual CbcBranchingObject * | createBranch (OsiSolverInterface *, const OsiBranchingInformation *, int) |
virtual OsiBranchingObject * | createOsiBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way) const |
Create an Osibranching object and indicate which way to branch first. | |
virtual OsiSolverBranch * | solverBranch () const |
Create an OsiSolverBranch object. | |
virtual CbcBranchingObject * | preferredNewFeasible () const |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a good direction. | |
virtual CbcBranchingObject * | notPreferredNewFeasible () const |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a bad direction. | |
virtual void | resetBounds (const OsiSolverInterface *) |
Reset variable bounds to their original values. | |
virtual void | floorCeiling (double &floorValue, double &ceilingValue, double value, double tolerance) const |
Returns floor and ceiling i.e. | |
virtual CbcObjectUpdateData | createUpdateInformation (const OsiSolverInterface *solver, const CbcNode *node, const CbcBranchingObject *branchingObject) |
Pass in information on branch just done and create CbcObjectUpdateData instance. | |
virtual void | updateInformation (const CbcObjectUpdateData &) |
Update object by CbcObjectUpdateData. | |
int | id () const |
Identifier (normally column number in matrix) | |
void | setId (int value) |
Set identifier (normally column number in matrix) but 1000000000 to 1100000000 means optional branching object i.e. | |
bool | optionalObject () const |
Return true if optional branching object i.e. | |
int | position () const |
Get position in object_ list. | |
void | setPosition (int position) |
Set position in object_ list. | |
void | setModel (CbcModel *model) |
update model | |
CbcModel * | model () const |
Return model. | |
int | preferredWay () const |
If -1 down always chosen first, +1 up always, 0 normal. | |
void | setPreferredWay (int value) |
Set -1 down always chosen first, +1 up always, 0 normal. | |
virtual void | redoSequenceEtc (CbcModel *, int, const int *) |
Redoes data when sequence numbers change. | |
CbcObject () | |
CbcObject (CbcModel *model) | |
CbcObject (const CbcObject &) | |
CbcObject & | operator= (const CbcObject &rhs) |
virtual CbcObject * | clone () const =0 |
Clone. | |
virtual | ~CbcObject () |
Destructor. | |
virtual double | infeasibility (const OsiBranchingInformation *, int &preferredWay) const |
Infeasibility of the object. | |
virtual double | infeasibility (int &) const |
virtual void | feasibleRegion ()=0 |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution. | |
virtual double | feasibleRegion (OsiSolverInterface *solver, const OsiBranchingInformation *info) const |
Dummy one for compatibility. | |
virtual double | feasibleRegion (OsiSolverInterface *solver) const |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution. | |
virtual CbcBranchingObject * | createCbcBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way) |
Create a branching object and indicate which way to branch first. | |
virtual CbcBranchingObject * | createBranch (OsiSolverInterface *, const OsiBranchingInformation *, int) |
virtual OsiBranchingObject * | createOsiBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way) const |
Create an Osibranching object and indicate which way to branch first. | |
virtual OsiSolverBranch * | solverBranch () const |
Create an OsiSolverBranch object. | |
virtual CbcBranchingObject * | preferredNewFeasible () const |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a good direction. | |
virtual CbcBranchingObject * | notPreferredNewFeasible () const |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a bad direction. | |
virtual void | resetBounds (const OsiSolverInterface *) |
Reset variable bounds to their original values. | |
virtual void | floorCeiling (double &floorValue, double &ceilingValue, double value, double tolerance) const |
Returns floor and ceiling i.e. | |
virtual CbcObjectUpdateData | createUpdateInformation (const OsiSolverInterface *solver, const CbcNode *node, const CbcBranchingObject *branchingObject) |
Pass in information on branch just done and create CbcObjectUpdateData instance. | |
virtual void | updateInformation (const CbcObjectUpdateData &) |
Update object by CbcObjectUpdateData. | |
int | id () const |
Identifier (normally column number in matrix) | |
void | setId (int value) |
Set identifier (normally column number in matrix) but 1000000000 to 1100000000 means optional branching object i.e. | |
bool | optionalObject () const |
Return true if optional branching object i.e. | |
int | position () const |
Get position in object_ list. | |
void | setPosition (int position) |
Set position in object_ list. | |
void | setModel (CbcModel *model) |
update model | |
CbcModel * | model () const |
Return model. | |
int | preferredWay () const |
If -1 down always chosen first, +1 up always, 0 normal. | |
void | setPreferredWay (int value) |
Set -1 down always chosen first, +1 up always, 0 normal. | |
virtual void | redoSequenceEtc (CbcModel *, int, const int *) |
Redoes data when sequence numbers change. |
Protected Attributes | |
CbcModel * | model_ |
data | |
int | id_ |
Identifier (normally column number in matrix) | |
int | position_ |
Position in object list. | |
int | preferredWay_ |
If -1 down always chosen first, +1 up always, 0 normal. |
Definition at line 61 of file CbcObject.hpp.
CbcObject::CbcObject | ( | ) |
CbcObject::CbcObject | ( | CbcModel * | model | ) |
CbcObject::CbcObject | ( | const CbcObject & | ) |
|
virtual |
Destructor.
CbcObject::CbcObject | ( | ) |
CbcObject::CbcObject | ( | CbcModel * | model | ) |
CbcObject::CbcObject | ( | const CbcObject & | ) |
|
virtual |
Destructor.
|
pure virtual |
Clone.
Implemented in CbcSimpleInteger, CbcSimpleInteger, CbcSimpleIntegerFixed, CbcClique, CbcClique, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, CbcSOS, CbcLink, CbcBranchToFixLots, CbcBranchToFixLots, CbcFollowOn2, CbcFollowOn, CbcFollowOn, CbcBranchAllDifferent, CbcBranchAllDifferent, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcLotsize, CbcLotsize, CbcGeneral, CbcGeneral, CbcNWay, and CbcNWay.
|
inlinevirtual |
Infeasibility of the object.
This is some measure of the infeasibility of the object. It should be scaled to be in the range [0.0, 0.5], with 0.0 indicating the object is satisfied.
The preferred branching direction is returned in preferredWay,
This is used to prepare for strong branching but should also think of case when no strong branching
The object may also compute an estimate of cost of going "up" or "down". This will probably be based on pseudo-cost ideas
Reimplemented in CbcSimpleInteger, CbcSimpleInteger, CbcClique, CbcClique, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, CbcSOS, CbcBranchToFixLots, CbcBranchToFixLots, CbcFollowOn, CbcFollowOn, CbcBranchAllDifferent, CbcNWay, CbcBranchAllDifferent, CbcNWay, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcLotsize, CbcLotsize, CbcGeneral, and CbcGeneral.
Definition at line 101 of file CbcObject.hpp.
|
inlinevirtual |
Reimplemented in CbcSimpleIntegerFixed, CbcLink, and CbcFollowOn2.
Definition at line 105 of file CbcObject.hpp.
|
pure virtual |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution.
Implemented in CbcSimpleInteger, CbcSimpleInteger, CbcClique, CbcClique, CbcSOS, CbcSOS, CbcLink, CbcBranchCut, CbcBranchCut, CbcFollowOn2, CbcLotsize, CbcLotsize, CbcFollowOn, CbcFollowOn, CbcNWay, CbcNWay, CbcGeneral, and CbcGeneral.
|
virtual |
Dummy one for compatibility.
Reimplemented in CbcSimpleInteger, and CbcSimpleInteger.
|
virtual |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution.
Returns measure of how much it had to move solution to make feasible
|
inlinevirtual |
Create a branching object and indicate which way to branch first.
The branching object has to know how to create branches (fix variables, etc.)
Reimplemented in CbcSimpleInteger, CbcSimpleInteger, CbcClique, CbcClique, CbcSOS, CbcSOS, CbcBranchToFixLots, CbcSimpleIntegerDynamicPseudoCost, CbcBranchToFixLots, CbcSimpleIntegerDynamicPseudoCost, CbcBranchCut, CbcBranchCut, CbcLotsize, CbcLotsize, CbcFollowOn, CbcFollowOn, CbcNWay, CbcNWay, CbcBranchAllDifferent, CbcGeneral, CbcBranchAllDifferent, CbcGeneral, CbcSimpleIntegerPseudoCost, and CbcSimpleIntegerPseudoCost.
Definition at line 131 of file CbcObject.hpp.
|
inlinevirtual |
Reimplemented in CbcSimpleIntegerFixed.
Definition at line 134 of file CbcObject.hpp.
|
virtual |
Create an Osibranching object and indicate which way to branch first.
The branching object has to know how to create branches (fix variables, etc.)
|
virtual |
Create an OsiSolverBranch object.
This returns NULL if branch not represented by bound changes
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, and CbcSOS.
|
inlinevirtual |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a good direction.
If the method cannot generate a feasible point (because there aren't any, or because it isn't bright enough to find one), it should return null.
Reimplemented in CbcBranchCut, CbcBranchCut, CbcLotsize, and CbcLotsize.
Definition at line 159 of file CbcObject.hpp.
|
inlinevirtual |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a bad direction.
If the method cannot generate a feasible point (because there aren't any, or because it isn't bright enough to find one), it should return null.
Reimplemented in CbcBranchCut, CbcBranchCut, CbcLotsize, and CbcLotsize.
Definition at line 171 of file CbcObject.hpp.
|
inlinevirtual |
Reset variable bounds to their original values.
Bounds may be tightened, so it may be good to be able to set this info in object.
Reimplemented in CbcSimpleInteger, CbcSimpleInteger, CbcLotsize, and CbcLotsize.
Definition at line 179 of file CbcObject.hpp.
|
virtual |
|
virtual |
Pass in information on branch just done and create CbcObjectUpdateData instance.
If object does not need data then backward pointer will be NULL. Assumes can get information from solver
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, and CbcSOS.
|
inlinevirtual |
Update object by CbcObjectUpdateData.
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, and CbcSOS.
Definition at line 194 of file CbcObject.hpp.
|
inline |
Identifier (normally column number in matrix)
Definition at line 197 of file CbcObject.hpp.
|
inline |
Set identifier (normally column number in matrix) but 1000000000 to 1100000000 means optional branching object i.e.
code would work without it
Definition at line 204 of file CbcObject.hpp.
|
inline |
Return true if optional branching object i.e.
code would work without it
Definition at line 210 of file CbcObject.hpp.
|
inline |
Get position in object_ list.
Definition at line 215 of file CbcObject.hpp.
|
inline |
Set position in object_ list.
Definition at line 220 of file CbcObject.hpp.
|
inline |
update model
Definition at line 225 of file CbcObject.hpp.
|
inline |
Return model.
Definition at line 230 of file CbcObject.hpp.
|
inline |
If -1 down always chosen first, +1 up always, 0 normal.
Definition at line 235 of file CbcObject.hpp.
|
inline |
Set -1 down always chosen first, +1 up always, 0 normal.
Definition at line 239 of file CbcObject.hpp.
|
inlinevirtual |
Redoes data when sequence numbers change.
Reimplemented in CbcClique, CbcClique, CbcSOS, CbcSOS, CbcBranchToFixLots, CbcBranchToFixLots, CbcNWay, CbcNWay, CbcGeneral, and CbcGeneral.
Definition at line 243 of file CbcObject.hpp.
|
pure virtual |
Clone.
Implemented in CbcSimpleInteger, CbcSimpleInteger, CbcSimpleIntegerFixed, CbcClique, CbcClique, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, CbcSOS, CbcLink, CbcBranchToFixLots, CbcBranchToFixLots, CbcFollowOn2, CbcFollowOn, CbcFollowOn, CbcBranchAllDifferent, CbcBranchAllDifferent, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcLotsize, CbcLotsize, CbcGeneral, CbcGeneral, CbcNWay, and CbcNWay.
|
inlinevirtual |
Infeasibility of the object.
This is some measure of the infeasibility of the object. It should be scaled to be in the range [0.0, 0.5], with 0.0 indicating the object is satisfied.
The preferred branching direction is returned in preferredWay,
This is used to prepare for strong branching but should also think of case when no strong branching
The object may also compute an estimate of cost of going "up" or "down". This will probably be based on pseudo-cost ideas
Reimplemented in CbcSimpleInteger, CbcSimpleInteger, CbcClique, CbcClique, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, CbcSOS, CbcBranchToFixLots, CbcBranchToFixLots, CbcFollowOn, CbcFollowOn, CbcBranchAllDifferent, CbcNWay, CbcBranchAllDifferent, CbcNWay, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcBranchCut, CbcSimpleIntegerPseudoCost, CbcLotsize, CbcLotsize, CbcGeneral, and CbcGeneral.
Definition at line 101 of file CbcObject.hpp.
|
inlinevirtual |
Reimplemented in CbcSimpleIntegerFixed, CbcLink, and CbcFollowOn2.
Definition at line 105 of file CbcObject.hpp.
|
pure virtual |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution.
Implemented in CbcSimpleInteger, CbcSimpleInteger, CbcClique, CbcClique, CbcSOS, CbcSOS, CbcLink, CbcBranchCut, CbcBranchCut, CbcFollowOn2, CbcLotsize, CbcLotsize, CbcFollowOn, CbcFollowOn, CbcNWay, CbcNWay, CbcGeneral, and CbcGeneral.
|
virtual |
Dummy one for compatibility.
Reimplemented in CbcSimpleInteger, and CbcSimpleInteger.
|
virtual |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution.
Returns measure of how much it had to move solution to make feasible
|
inlinevirtual |
Create a branching object and indicate which way to branch first.
The branching object has to know how to create branches (fix variables, etc.)
Reimplemented in CbcSimpleInteger, CbcSimpleInteger, CbcClique, CbcClique, CbcSOS, CbcSOS, CbcBranchToFixLots, CbcSimpleIntegerDynamicPseudoCost, CbcBranchToFixLots, CbcSimpleIntegerDynamicPseudoCost, CbcBranchCut, CbcBranchCut, CbcLotsize, CbcLotsize, CbcFollowOn, CbcFollowOn, CbcNWay, CbcNWay, CbcBranchAllDifferent, CbcGeneral, CbcBranchAllDifferent, CbcGeneral, CbcSimpleIntegerPseudoCost, and CbcSimpleIntegerPseudoCost.
Definition at line 131 of file CbcObject.hpp.
|
inlinevirtual |
Reimplemented in CbcSimpleIntegerFixed.
Definition at line 134 of file CbcObject.hpp.
|
virtual |
Create an Osibranching object and indicate which way to branch first.
The branching object has to know how to create branches (fix variables, etc.)
|
virtual |
Create an OsiSolverBranch object.
This returns NULL if branch not represented by bound changes
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, and CbcSOS.
|
inlinevirtual |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a good direction.
If the method cannot generate a feasible point (because there aren't any, or because it isn't bright enough to find one), it should return null.
Reimplemented in CbcBranchCut, CbcBranchCut, CbcLotsize, and CbcLotsize.
Definition at line 159 of file CbcObject.hpp.
|
inlinevirtual |
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a bad direction.
If the method cannot generate a feasible point (because there aren't any, or because it isn't bright enough to find one), it should return null.
Reimplemented in CbcBranchCut, CbcBranchCut, CbcLotsize, and CbcLotsize.
Definition at line 171 of file CbcObject.hpp.
|
inlinevirtual |
Reset variable bounds to their original values.
Bounds may be tightened, so it may be good to be able to set this info in object.
Reimplemented in CbcSimpleInteger, CbcSimpleInteger, CbcLotsize, and CbcLotsize.
Definition at line 179 of file CbcObject.hpp.
|
virtual |
|
virtual |
Pass in information on branch just done and create CbcObjectUpdateData instance.
If object does not need data then backward pointer will be NULL. Assumes can get information from solver
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, and CbcSOS.
|
inlinevirtual |
Update object by CbcObjectUpdateData.
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerDynamicPseudoCost, CbcSOS, and CbcSOS.
Definition at line 194 of file CbcObject.hpp.
|
inline |
Identifier (normally column number in matrix)
Definition at line 197 of file CbcObject.hpp.
|
inline |
Set identifier (normally column number in matrix) but 1000000000 to 1100000000 means optional branching object i.e.
code would work without it
Definition at line 204 of file CbcObject.hpp.
|
inline |
Return true if optional branching object i.e.
code would work without it
Definition at line 210 of file CbcObject.hpp.
|
inline |
Get position in object_ list.
Definition at line 215 of file CbcObject.hpp.
|
inline |
Set position in object_ list.
Definition at line 220 of file CbcObject.hpp.
|
inline |
update model
Definition at line 225 of file CbcObject.hpp.
|
inline |
Return model.
Definition at line 230 of file CbcObject.hpp.
|
inline |
If -1 down always chosen first, +1 up always, 0 normal.
Definition at line 235 of file CbcObject.hpp.
|
inline |
Set -1 down always chosen first, +1 up always, 0 normal.
Definition at line 239 of file CbcObject.hpp.
|
inlinevirtual |
Redoes data when sequence numbers change.
Reimplemented in CbcClique, CbcClique, CbcSOS, CbcSOS, CbcBranchToFixLots, CbcBranchToFixLots, CbcNWay, CbcNWay, CbcGeneral, and CbcGeneral.
Definition at line 243 of file CbcObject.hpp.
|
protected |
|
protected |
Identifier (normally column number in matrix)
Definition at line 251 of file CbcObject.hpp.
|
protected |
Position in object list.
Definition at line 253 of file CbcObject.hpp.
|
protected |
If -1 down always chosen first, +1 up always, 0 normal.
Reimplemented in CbcSimpleInteger.
Definition at line 255 of file CbcObject.hpp.