Cbc trunk
|
#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. | |
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 67 of file CbcObject.hpp.
CbcObject::CbcObject | ( | ) |
CbcObject::CbcObject | ( | CbcModel * | model | ) |
CbcObject::CbcObject | ( | const CbcObject & | ) |
virtual CbcObject::~CbcObject | ( | ) | [virtual] |
Destructor.
virtual CbcObject* CbcObject::clone | ( | ) | const [pure virtual] |
Clone.
Implemented in CbcBranchAllDifferent, CbcBranchCut, CbcLotsize, CbcBranchToFixLots, CbcClique, CbcFollowOn, CbcGeneral, CbcNWay, CbcSimpleInteger, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerPseudoCost, and CbcSOS.
virtual double CbcObject::infeasibility | ( | const OsiBranchingInformation * | , |
int & | preferredWay | ||
) | const [inline, virtual] |
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 CbcBranchAllDifferent, CbcBranchCut, CbcLotsize, CbcBranchToFixLots, CbcClique, CbcFollowOn, CbcGeneral, CbcNWay, CbcSimpleInteger, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerPseudoCost, and CbcSOS.
Definition at line 107 of file CbcObject.hpp.
virtual double CbcObject::infeasibility | ( | int & | ) | const [inline, virtual] |
Definition at line 111 of file CbcObject.hpp.
virtual void CbcObject::feasibleRegion | ( | ) | [pure virtual] |
For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution.
Implemented in CbcBranchCut, CbcLotsize, CbcClique, CbcFollowOn, CbcGeneral, CbcNWay, CbcSimpleInteger, and CbcSOS.
virtual double CbcObject::feasibleRegion | ( | OsiSolverInterface * | solver, |
const OsiBranchingInformation * | info | ||
) | const [virtual] |
Dummy one for compatibility.
Reimplemented in CbcSimpleInteger.
virtual double CbcObject::feasibleRegion | ( | OsiSolverInterface * | solver | ) | const [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
virtual CbcBranchingObject* CbcObject::createCbcBranch | ( | OsiSolverInterface * | solver, |
const OsiBranchingInformation * | info, | ||
int | way | ||
) | [inline, virtual] |
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 CbcBranchAllDifferent, CbcBranchCut, CbcLotsize, CbcBranchToFixLots, CbcClique, CbcFollowOn, CbcGeneral, CbcNWay, CbcSimpleInteger, CbcSimpleIntegerDynamicPseudoCost, CbcSimpleIntegerPseudoCost, and CbcSOS.
Definition at line 137 of file CbcObject.hpp.
virtual CbcBranchingObject* CbcObject::createBranch | ( | OsiSolverInterface * | , |
const OsiBranchingInformation * | , | ||
int | |||
) | [inline, virtual] |
Definition at line 140 of file CbcObject.hpp.
virtual OsiBranchingObject* CbcObject::createOsiBranch | ( | OsiSolverInterface * | solver, |
const OsiBranchingInformation * | info, | ||
int | way | ||
) | const [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 OsiSolverBranch* CbcObject::solverBranch | ( | ) | const [virtual] |
Create an OsiSolverBranch object.
This returns NULL if branch not represented by bound changes
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, and CbcSOS.
virtual CbcBranchingObject* CbcObject::preferredNewFeasible | ( | ) | const [inline, virtual] |
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, and CbcLotsize.
Definition at line 165 of file CbcObject.hpp.
virtual CbcBranchingObject* CbcObject::notPreferredNewFeasible | ( | ) | const [inline, virtual] |
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, and CbcLotsize.
Definition at line 177 of file CbcObject.hpp.
virtual void CbcObject::resetBounds | ( | const OsiSolverInterface * | ) | [inline, virtual] |
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 CbcLotsize, and CbcSimpleInteger.
Definition at line 185 of file CbcObject.hpp.
virtual void CbcObject::floorCeiling | ( | double & | floorValue, |
double & | ceilingValue, | ||
double | value, | ||
double | tolerance | ||
) | const [virtual] |
virtual CbcObjectUpdateData CbcObject::createUpdateInformation | ( | const OsiSolverInterface * | solver, |
const CbcNode * | node, | ||
const CbcBranchingObject * | branchingObject | ||
) | [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, and CbcSOS.
virtual void CbcObject::updateInformation | ( | const CbcObjectUpdateData & | ) | [inline, virtual] |
Update object by CbcObjectUpdateData.
Reimplemented in CbcSimpleIntegerDynamicPseudoCost, and CbcSOS.
Definition at line 200 of file CbcObject.hpp.
int CbcObject::id | ( | ) | const [inline] |
Identifier (normally column number in matrix)
Definition at line 203 of file CbcObject.hpp.
void CbcObject::setId | ( | int | value | ) | [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 210 of file CbcObject.hpp.
bool CbcObject::optionalObject | ( | ) | const [inline] |
Return true if optional branching object i.e.
code would work without it
Definition at line 216 of file CbcObject.hpp.
int CbcObject::position | ( | ) | const [inline] |
Get position in object_ list.
Definition at line 221 of file CbcObject.hpp.
void CbcObject::setPosition | ( | int | position | ) | [inline] |
Set position in object_ list.
Definition at line 226 of file CbcObject.hpp.
void CbcObject::setModel | ( | CbcModel * | model | ) | [inline] |
update model
Definition at line 231 of file CbcObject.hpp.
CbcModel* CbcObject::model | ( | ) | const [inline] |
Return model.
Definition at line 236 of file CbcObject.hpp.
int CbcObject::preferredWay | ( | ) | const [inline] |
If -1 down always chosen first, +1 up always, 0 normal.
Definition at line 241 of file CbcObject.hpp.
void CbcObject::setPreferredWay | ( | int | value | ) | [inline] |
Set -1 down always chosen first, +1 up always, 0 normal.
Definition at line 245 of file CbcObject.hpp.
virtual void CbcObject::redoSequenceEtc | ( | CbcModel * | , |
int | , | ||
const int * | |||
) | [inline, virtual] |
Redoes data when sequence numbers change.
Reimplemented in CbcBranchToFixLots, CbcClique, CbcGeneral, CbcNWay, and CbcSOS.
Definition at line 249 of file CbcObject.hpp.
CbcModel* CbcObject::model_ [protected] |
int CbcObject::id_ [protected] |
Identifier (normally column number in matrix)
Definition at line 257 of file CbcObject.hpp.
int CbcObject::position_ [protected] |
Position in object list.
Definition at line 259 of file CbcObject.hpp.
int CbcObject::preferredWay_ [protected] |
If -1 down always chosen first, +1 up always, 0 normal.
Reimplemented in CbcSimpleInteger.
Definition at line 261 of file CbcObject.hpp.