Branching object for Special ordered sets. More...
#include <CbcBranchActual.hpp>
Public Member Functions | |
CbcSOSBranchingObject () | |
CbcSOSBranchingObject (CbcModel *model, const CbcSOS *clique, int way, double separator) | |
CbcSOSBranchingObject (const CbcSOSBranchingObject &) | |
CbcSOSBranchingObject & | operator= (const CbcSOSBranchingObject &rhs) |
Assignment operator. | |
virtual CbcBranchingObject * | clone () const |
Clone. | |
virtual | ~CbcSOSBranchingObject () |
virtual double | branch () |
Does next branch and updates state. | |
virtual void | previousBranch () |
Reset every information so that the branching object appears to point to the previous child. | |
virtual void | print () |
Print something about branch - only if log level high. | |
virtual int | type () const |
Return the type (an integer identifier) of this . | |
virtual int | compareOriginalObject (const CbcBranchingObject *brObj) const |
Compare the original object of this with the original object of brObj . | |
virtual CbcRangeCompare | compareBranchingObject (const CbcBranchingObject *brObj, const bool replaceIfOverlap=false) |
Compare the this with brObj . | |
void | computeNonzeroRange () |
Fill out the firstNonzero_ and lastNonzero_ data members. | |
Private Attributes | |
const CbcSOS * | set_ |
data | |
double | separator_ |
separator | |
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. | |
int | lastNonzero_ |
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 872 of file CbcBranchActual.hpp.
CbcSOSBranchingObject::CbcSOSBranchingObject | ( | ) |
CbcSOSBranchingObject::CbcSOSBranchingObject | ( | CbcModel * | model, | |
const CbcSOS * | clique, | |||
int | way, | |||
double | separator | |||
) |
CbcSOSBranchingObject::CbcSOSBranchingObject | ( | const CbcSOSBranchingObject & | ) |
virtual CbcSOSBranchingObject::~CbcSOSBranchingObject | ( | ) | [virtual] |
CbcSOSBranchingObject& CbcSOSBranchingObject::operator= | ( | const CbcSOSBranchingObject & | rhs | ) |
Assignment operator.
Reimplemented from CbcBranchingObject.
virtual CbcBranchingObject* CbcSOSBranchingObject::clone | ( | ) | const [virtual] |
Clone.
Implements CbcBranchingObject.
virtual double CbcSOSBranchingObject::branch | ( | ) | [virtual] |
Does next branch and updates state.
Implements CbcBranchingObject.
virtual void CbcSOSBranchingObject::previousBranch | ( | ) | [inline, virtual] |
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 903 of file CbcBranchActual.hpp.
virtual void CbcSOSBranchingObject::print | ( | ) | [virtual] |
Print something about branch - only if log level high.
virtual int CbcSOSBranchingObject::type | ( | ) | const [inline, virtual] |
Return the type (an integer identifier) of this
.
Implements CbcBranchingObject.
Definition at line 914 of file CbcBranchActual.hpp.
virtual int CbcSOSBranchingObject::compareOriginalObject | ( | const CbcBranchingObject * | brObj | ) | const [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.
virtual CbcRangeCompare CbcSOSBranchingObject::compareBranchingObject | ( | const CbcBranchingObject * | brObj, | |
const bool | replaceIfOverlap = false | |||
) | [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.
void CbcSOSBranchingObject::computeNonzeroRange | ( | ) |
Fill out the firstNonzero_
and lastNonzero_
data members.
const CbcSOS* CbcSOSBranchingObject::set_ [private] |
data
Definition at line 941 of file CbcBranchActual.hpp.
double CbcSOSBranchingObject::separator_ [private] |
separator
Definition at line 943 of file CbcBranchActual.hpp.
int CbcSOSBranchingObject::firstNonzero_ [private] |
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 949 of file CbcBranchActual.hpp.
int CbcSOSBranchingObject::lastNonzero_ [private] |
Definition at line 950 of file CbcBranchActual.hpp.