#include <CbcSOS.hpp>
Inheritance diagram for CbcSOS:
Public Member Functions | |
CbcSOS () | |
CbcSOS (CbcModel *model, int numberMembers, const int *which, const double *weights, int identifier, int type=1) | |
Constructor with SOS type and member information. | |
CbcSOS (const CbcSOS &) | |
virtual CbcObject * | clone () const |
Clone. | |
CbcSOS & | operator= (const CbcSOS &rhs) |
virtual | ~CbcSOS () |
virtual double | infeasibility (const OsiBranchingInformation *info, int &preferredWay) const |
Infeasibility - large is 0.5. | |
virtual void | feasibleRegion () |
This looks at solution and sets bounds to contain solution. | |
virtual CbcBranchingObject * | createCbcBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way) |
Creates a branching object. | |
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 &data) |
Update object by CbcObjectUpdateData. | |
virtual OsiSolverBranch * | solverBranch () const |
Create an OsiSolverBranch object. | |
virtual void | redoSequenceEtc (CbcModel *model, int numberColumns, const int *originalColumns) |
Redoes data when sequence numbers change. | |
OsiSOS * | osiObject (const OsiSolverInterface *solver) const |
Construct an OsiSOS object. | |
int | numberMembers () const |
Number of members. | |
const int * | members () const |
Members (indices in range 0 ... numberColumns-1). | |
int | sosType () const |
SOS type. | |
int | numberTimesDown () const |
Down number times. | |
int | numberTimesUp () const |
Up number times. | |
const double * | weights () const |
Array of weights. | |
void | setNumberMembers (int n) |
Set number of members. | |
int * | mutableMembers () const |
Members (indices in range 0 ... numberColumns-1). | |
double * | mutableWeights () const |
Array of weights. | |
virtual bool | canDoHeuristics () const |
Return true if object can take part in normal heuristics. | |
void | setIntegerValued (bool yesNo) |
Set whether set is integer valued or not. | |
Private Attributes | |
int * | members_ |
Members (indices in range 0 ... numberColumns-1). | |
double * | weights_ |
Weights for individual members. | |
double | shadowEstimateDown_ |
Current pseudo-shadow price estimate down. | |
double | shadowEstimateUp_ |
Current pseudo-shadow price estimate up. | |
double | downDynamicPseudoRatio_ |
Down pseudo ratio. | |
double | upDynamicPseudoRatio_ |
Up pseudo ratio. | |
int | numberTimesDown_ |
Number of times we have gone down. | |
int | numberTimesUp_ |
Number of times we have gone up. | |
int | numberMembers_ |
Number of members. | |
int | sosType_ |
SOS type. | |
bool | integerValued_ |
Whether integer valued. |
SOS1 are an ordered set of variables where at most one variable can be non-zero. SOS1 are commonly defined with binary variables (interpreted as selection between alternatives) but this is not necessary. An SOS1 with all binary variables is a special case of a clique (setting any one variable to 1 forces all others to 0).
In theory, the implementation makes no assumptions about integrality in Type 1 sets. In practice, there are places where the code seems to have been written with a binary SOS mindset. Current development of SOS branching objects is proceeding in OsiSOS.
SOS2 are an ordered set of variables in which at most two consecutive variables can be non-zero and must sum to 1 (interpreted as interpolation between two discrete values). By definition the variables are non-integer.
Definition at line 23 of file CbcSOS.hpp.
CbcSOS::CbcSOS | ( | ) |
CbcSOS::CbcSOS | ( | CbcModel * | model, | |
int | numberMembers, | |||
const int * | which, | |||
const double * | weights, | |||
int | identifier, | |||
int | type = 1 | |||
) |
Constructor with SOS type and member information.
Type specifies SOS 1 or 2. Identifier is an arbitrary value.
Which should be an array of variable indices with numberMembers entries. Weights can be used to assign arbitrary weights to variables, in the order they are specified in which. If no weights are provided, a default array of 0, 1, 2, ... is generated.
CbcSOS::CbcSOS | ( | const CbcSOS & | ) |
virtual CbcSOS::~CbcSOS | ( | ) | [virtual] |
virtual double CbcSOS::infeasibility | ( | const OsiBranchingInformation * | info, | |
int & | preferredWay | |||
) | const [virtual] |
virtual void CbcSOS::feasibleRegion | ( | ) | [virtual] |
virtual CbcBranchingObject* CbcSOS::createCbcBranch | ( | OsiSolverInterface * | solver, | |
const OsiBranchingInformation * | info, | |||
int | way | |||
) | [virtual] |
virtual CbcObjectUpdateData CbcSOS::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 from CbcObject.
virtual void CbcSOS::updateInformation | ( | const CbcObjectUpdateData & | data | ) | [virtual] |
virtual OsiSolverBranch* CbcSOS::solverBranch | ( | ) | const [virtual] |
Create an OsiSolverBranch object.
This returns NULL if branch not represented by bound changes
Reimplemented from CbcObject.
virtual void CbcSOS::redoSequenceEtc | ( | CbcModel * | model, | |
int | numberColumns, | |||
const int * | originalColumns | |||
) | [virtual] |
OsiSOS* CbcSOS::osiObject | ( | const OsiSolverInterface * | solver | ) | const |
Construct an OsiSOS object.
int CbcSOS::numberMembers | ( | ) | const [inline] |
const int* CbcSOS::members | ( | ) | const [inline] |
Members (indices in range 0 ... numberColumns-1).
Definition at line 94 of file CbcSOS.hpp.
References members_.
int CbcSOS::sosType | ( | ) | const [inline] |
int CbcSOS::numberTimesDown | ( | ) | const [inline] |
int CbcSOS::numberTimesUp | ( | ) | const [inline] |
const double* CbcSOS::weights | ( | ) | const [inline] |
void CbcSOS::setNumberMembers | ( | int | n | ) | [inline] |
int* CbcSOS::mutableMembers | ( | ) | const [inline] |
Members (indices in range 0 ... numberColumns-1).
Definition at line 122 of file CbcSOS.hpp.
References members_.
double* CbcSOS::mutableWeights | ( | ) | const [inline] |
virtual bool CbcSOS::canDoHeuristics | ( | ) | const [inline, virtual] |
Return true if object can take part in normal heuristics.
Reimplemented from OsiObject.
Definition at line 133 of file CbcSOS.hpp.
References integerValued_, and sosType_.
void CbcSOS::setIntegerValued | ( | bool | yesNo | ) | [inline] |
Set whether set is integer valued or not.
Definition at line 137 of file CbcSOS.hpp.
References integerValued_.
int* CbcSOS::members_ [private] |
Members (indices in range 0 ... numberColumns-1).
Definition at line 144 of file CbcSOS.hpp.
Referenced by members(), and mutableMembers().
double* CbcSOS::weights_ [private] |
Weights for individual members.
Arbitrary weights for members. Can be used to attach meaning to variable values independent of objective coefficients. For example, if the SOS set comprises binary variables used to choose a facility of a given size, the weight could be the corresponding facilty size. Fractional values of the SOS variables can then be used to estimate ideal facility size.
Weights cannot be completely arbitrary. From the code, they must be differ by at least 1.0e-7
Definition at line 157 of file CbcSOS.hpp.
Referenced by mutableWeights(), and weights().
double CbcSOS::shadowEstimateDown_ [mutable, private] |
double CbcSOS::shadowEstimateUp_ [mutable, private] |
double CbcSOS::downDynamicPseudoRatio_ [private] |
double CbcSOS::upDynamicPseudoRatio_ [private] |
int CbcSOS::numberTimesDown_ [private] |
Number of times we have gone down.
Definition at line 167 of file CbcSOS.hpp.
Referenced by numberTimesDown().
int CbcSOS::numberTimesUp_ [private] |
Number of times we have gone up.
Definition at line 169 of file CbcSOS.hpp.
Referenced by numberTimesUp().
int CbcSOS::numberMembers_ [private] |
Number of members.
Definition at line 171 of file CbcSOS.hpp.
Referenced by numberMembers(), and setNumberMembers().
int CbcSOS::sosType_ [private] |
SOS type.
Definition at line 173 of file CbcSOS.hpp.
Referenced by canDoHeuristics(), and sosType().
bool CbcSOS::integerValued_ [private] |
Whether integer valued.
Definition at line 175 of file CbcSOS.hpp.
Referenced by canDoHeuristics(), and setIntegerValued().