51 const int *which,
const char *
type,
52 int identifier,
int slack = -1);
106 inline char type(
int index)
const
177 int numberOnDownSide,
const int *down,
178 int numberOnUpSide,
const int *up);
199 virtual void print();
248 int numberOnDownSide,
const int *down,
249 int numberOnUpSide,
const int *up);
270 virtual void print();
const CbcClique * clique_
data
Unordered Clique Branching Object class.
virtual void redoSequenceEtc(CbcModel *model, int numberColumns, const int *originalColumns)
Redoes data when sequence numbers change.
Branching object for cliques.
virtual ~CbcClique()
Destructor.
virtual void feasibleRegion()=0
For the variable(s) referenced by the object, look at the current solution and set bounds to match th...
int * members_
Members (indices in range 0 ... numberIntegers_-1)
virtual double branch()
Does next branch and updates state.
virtual void feasibleRegion()
This looks at solution and sets bounds to contain solution.
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.
virtual CbcObject * clone() const
Clone.
int numberMembers() const
Number of members.
virtual int compareOriginalObject(const CbcBranchingObject *brObj) const
Compare the original object of this with the original object of brObj.
virtual void print()
Print something about branch - only if log level high.
virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
Compare the this with brObj.
int preferredWay() const
If -1 down always chosen first, +1 up always, 0 normal.
Abstract Base Class for describing an interface to a solver.
virtual CbcBranchingObject * clone() const
Clone.
CbcCliqueBranchingObject & operator=(const CbcCliqueBranchingObject &rhs)
virtual CbcBranchingObject * clone() const
Clone.
double infeasibility() const
Return infeasibility.
int slack_
Slack variable for the clique.
virtual void print()
Print something about branch - only if log level high.
CbcModel * model() const
Return model.
const int * members() const
Members (indices in range 0 ... numberIntegers_-1)
int way() const
Get the state of the branching object.
Abstract branching object base class Now just difference with OsiBranchingObject. ...
int cliqueType_
Clique type.
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.
int numberMembers_
data Number of members
unsigned int * upMask_
upMask - bit set to fix to weak bounds, not set to leave unfixed
int numberNonSOSMembers() const
Number of variables with -1 coefficient.
CbcModel * model() const
Return model.
virtual double branch()=0
Execute the actions required to branch, as specified by the current state of the branching object...
char type(int index) const
Type of each member, i.e., which way is strong.
char * type_
Strong value for each member.
virtual void print() const
Print something about branch - only if log level high.
CbcCliqueBranchingObject()
CbcLongCliqueBranchingObject()
virtual ~CbcCliqueBranchingObject()
CbcClique()
Default Constructor.
int numberNonSOSMembers_
Number of Non SOS members i.e. fixing to zero is strong.
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.
CbcLongCliqueBranchingObject & operator=(const CbcLongCliqueBranchingObject &rhs)
CbcClique & operator=(const CbcClique &rhs)
Assignment operator.
virtual double branch()
Does next branch and updates state.
int cliqueType() const
Clique type: 0 is <=, 1 is ==.
virtual ~CbcLongCliqueBranchingObject()
Branching object for unordered cliques.
Simple Branch and bound class.
unsigned int upMask_[2]
upMask - bit set to fix to weak bounds, not set to leave unfixed
virtual CbcBranchingObject * createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way)
Creates a branching object.
unsigned int * downMask_
downMask - bit set to fix to weak bounds, not set to leave unfixed
const CbcClique * clique_
data
unsigned int downMask_[2]
downMask - bit set to fix to weak bounds, not set to leave unfixed