Cbc
2.10.5
|
Branching object for Special ordered sets. More...
#include <CbcSOS.hpp>
Public Member Functions | |
CbcSOSBranchingObject () | |
CbcSOSBranchingObject (CbcModel *model, const CbcSOS *clique, int way, double separator) | |
CbcSOSBranchingObject (const CbcSOSBranchingObject &) | |
CbcSOSBranchingObject & | operator= (const CbcSOSBranchingObject &rhs) |
virtual CbcBranchingObject * | clone () const |
Clone. More... | |
virtual | ~CbcSOSBranchingObject () |
virtual double | branch () |
Does next branch and updates state. More... | |
virtual void | fix (OsiSolverInterface *solver, double *lower, double *upper, int branchState) const |
Update bounds in solver as in 'branch' and update given bounds. More... | |
virtual void | previousBranch () |
Reset every information so that the branching object appears to point to the previous child. More... | |
virtual void | print () |
Print something about branch - only if log level high. More... | |
virtual CbcBranchObjType | type () const |
Return the type (an integer identifier) of this . More... | |
virtual int | compareOriginalObject (const CbcBranchingObject *brObj) const |
Compare the original object of this with the original object of brObj . More... | |
virtual CbcRangeCompare | compareBranchingObject (const CbcBranchingObject *brObj, const bool replaceIfOverlap=false) |
Compare the this with brObj . More... | |
void | computeNonzeroRange () |
Fill out the firstNonzero_ and lastNonzero_ data members. More... | |
![]() | |
CbcBranchingObject () | |
Default Constructor. More... | |
CbcBranchingObject (CbcModel *model, int variable, int way, double value) | |
Constructor. More... | |
CbcBranchingObject (const CbcBranchingObject &) | |
Copy constructor. More... | |
CbcBranchingObject & | operator= (const CbcBranchingObject &rhs) |
Assignment operator. More... | |
virtual | ~CbcBranchingObject () |
Destructor. More... | |
virtual int | fillStrongInfo (CbcStrongInfo &) |
Some branchingObjects may claim to be able to skip strong branching. More... | |
void | resetNumberBranchesLeft () |
Reset number of branches left to original. More... | |
void | setNumberBranches (int value) |
Set number of branches to do. More... | |
virtual double | branch (OsiSolverInterface *) |
Execute the actions required to branch, as specified by the current state of the branching object, and advance the object's state. More... | |
virtual bool | tighten (OsiSolverInterface *) |
Change (tighten) bounds in object to reflect bounds in solver. More... | |
virtual void | print () const |
Print something about branch - only if log level high. More... | |
int | variable () const |
Index identifying the associated CbcObject within its class. More... | |
int | way () const |
Get the state of the branching object. More... | |
void | way (int way) |
Set the state of the branching object. More... | |
void | setModel (CbcModel *model) |
update model More... | |
CbcModel * | model () const |
Return model. More... | |
CbcObject * | object () const |
Return pointer back to object which created. More... | |
void | setOriginalObject (CbcObject *object) |
Set pointer back to object which created. More... | |
![]() | |
OsiBranchingObject () | |
Default Constructor. More... | |
OsiBranchingObject (OsiSolverInterface *solver, double value) | |
Constructor. More... | |
OsiBranchingObject (const OsiBranchingObject &) | |
Copy constructor. More... | |
OsiBranchingObject & | operator= (const OsiBranchingObject &rhs) |
Assignment operator. More... | |
virtual | ~OsiBranchingObject () |
Destructor. More... | |
int | numberBranches () const |
The number of branch arms created for this branching object. More... | |
int | numberBranchesLeft () const |
The number of branch arms left for this branching object. More... | |
void | incrementNumberBranchesLeft () |
Increment the number of branch arms left for this branching object. More... | |
void | setNumberBranchesLeft (int) |
Set the number of branch arms left for this branching object Just for forcing. More... | |
void | decrementNumberBranchesLeft () |
Decrement the number of branch arms left for this branching object. More... | |
virtual bool | boundBranch () const |
Return true if branch should fix variables. More... | |
int | branchIndex () const |
Get the state of the branching object This is just the branch index. More... | |
void | setBranchingIndex (int branchIndex) |
Set the state of the branching object. More... | |
double | value () const |
Current value. More... | |
const OsiObject * | originalObject () const |
Return pointer back to object which created. More... | |
void | setOriginalObject (const OsiObject *object) |
Set pointer back to object which created. More... | |
virtual void | checkIsCutoff (double) |
Double checks in case node can change its mind! Returns objective value Can change objective etc. More... | |
int | columnNumber () const |
For debug. More... | |
virtual void | print (const OsiSolverInterface *=NULL) const |
Print something about branch - only if log level high. More... | |
Protected Attributes | |
const CbcSOS * | set_ |
data More... | |
double | separator_ |
separator More... | |
int | firstNonzero_ |
The following two members describe the range in the members_ of the original object that whose upper bound is not fixed to 0. More... | |
int | lastNonzero_ |
![]() | |
CbcModel * | model_ |
The model that owns this branching object. More... | |
CbcObject * | originalCbcObject_ |
Pointer back to object which created. More... | |
int | variable_ |
Branching variable (0 is first integer) More... | |
int | way_ |
The state of the branching object. More... | |
![]() | |
double | value_ |
Current value - has some meaning about branch. More... | |
const OsiObject * | originalObject_ |
Pointer back to object which created. More... | |
int | numberBranches_ |
Number of branches. More... | |
short | branchIndex_ |
The state of the branching object. More... | |
Branching object for Special ordered sets.
Variable_ is the set id number (redundant, as the object also holds a pointer to the set.
Definition at line 200 of file CbcSOS.hpp.
CbcSOSBranchingObject::CbcSOSBranchingObject | ( | ) |
CbcSOSBranchingObject::CbcSOSBranchingObject | ( | CbcModel * | model, |
const CbcSOS * | clique, | ||
int | way, | ||
double | separator | ||
) |
CbcSOSBranchingObject::CbcSOSBranchingObject | ( | const CbcSOSBranchingObject & | ) |
|
virtual |
CbcSOSBranchingObject& CbcSOSBranchingObject::operator= | ( | const CbcSOSBranchingObject & | rhs | ) |
|
virtual |
Clone.
Implements CbcBranchingObject.
|
virtual |
Does next branch and updates state.
Implements CbcBranchingObject.
|
virtual |
Update bounds in solver as in 'branch' and update given bounds.
branchState is -1 for 'down' +1 for 'up'
Reimplemented from CbcBranchingObject.
|
inlinevirtual |
Reset every information so that the branching object appears to point to the previous child.
This method does not need to modify anything in any solver.
Reimplemented from CbcBranchingObject.
Definition at line 235 of file CbcSOS.hpp.
|
virtual |
Print something about branch - only if log level high.
|
inlinevirtual |
Return the type (an integer identifier) of this
.
Implements CbcBranchingObject.
Definition at line 247 of file CbcSOS.hpp.
|
virtual |
Compare the original object of this
with the original object of brObj
.
Assumes that there is an ordering of the original objects. This method should be invoked only if this
and brObj are of the same type. Return negative/0/positive depending on whether this
is smaller/same/larger than the argument.
Reimplemented from CbcBranchingObject.
|
virtual |
Compare the this
with brObj
.
this
and brObj
must be os the same type and must have the same original object, but they may have different feasible regions. Return the appropriate CbcRangeCompare value (first argument being the sub/superset if that's the case). In case of overlap (and if replaceIfOverlap
is true) replace the current branching object with one whose feasible region is the overlap.
Implements CbcBranchingObject.
void CbcSOSBranchingObject::computeNonzeroRange | ( | ) |
Fill out the firstNonzero_
and lastNonzero_
data members.
|
protected |
data
Definition at line 276 of file CbcSOS.hpp.
|
protected |
separator
Definition at line 278 of file CbcSOS.hpp.
|
protected |
The following two members describe the range in the members_ of the original object that whose upper bound is not fixed to 0.
This is not necessary for Cbc to function correctly, this is there for heuristics so that separate branching decisions on the same object can be pooled into one branching object.
Definition at line 284 of file CbcSOS.hpp.
|
protected |
Definition at line 285 of file CbcSOS.hpp.