8#ifndef CbcSimpleInteger_H
9#define CbcSimpleInteger_H
37 int way,
double value);
47 double lowerValue,
double upperValue);
71 virtual void fix(OsiSolverInterface *solver,
72 double *lower,
double *upper,
73 int branchState)
const;
76 virtual bool tighten(OsiSolverInterface *);
104 memcpy(
down_, bounds, 2 *
sizeof(
double));
109 memcpy(
up_, bounds, 2 *
sizeof(
double));
111#ifdef FUNNY_BRANCHING
114 inline const int *variables()
const
119 inline const double *newBounds()
const
124 inline int numberExtraChangedBounds()
const
126 return numberExtraChangedBounds_;
129 int applyExtraBounds(
int iColumn,
double lower,
double upper,
int way);
133 inline bool active()
const
135 return (
down_[1] != -COIN_DBL_MAX);
160#ifdef FUNNY_BRANCHING
167 int numberExtraChangedBounds_;
208 virtual double feasibleRegion(OsiSolverInterface *solver,
const OsiBranchingInformation *info)
const;
224 virtual OsiSolverBranch *
solverBranch(OsiSolverInterface *solver,
const OsiBranchingInformation *info)
const;
Abstract branching object base class Now just difference with OsiBranchingObject.
virtual void previousBranch()
Reset every information so that the branching object appears to point to the previous child.
virtual double branch()=0
Execute the actions required to branch, as specified by the current state of the branching object,...
CbcModel * model() const
Return model.
int variable() const
Index identifying the associated CbcObject within its class.
int way() const
Get the state of the branching object.
virtual void print() const
Print something about branch - only if log level high.
Simple branching object for an integer variable.
virtual CbcBranchingObject * clone() const
Clone.
virtual bool tighten(OsiSolverInterface *)
Change (tighten) bounds in object to reflect bounds in solver.
CbcIntegerBranchingObject(const CbcIntegerBranchingObject &)
Copy constructor.
double up_[2]
Lower [0] and upper [1] bounds for the up arm (way_ = 1)
virtual double branch()
Sets the bounds for the variable according to the current arm of the branch and advances the object s...
const double * upBounds() const
Lower and upper bounds for up branch.
CbcIntegerBranchingObject & operator=(const CbcIntegerBranchingObject &rhs)
Assignment operator.
CbcIntegerBranchingObject(CbcModel *model, int variable, int way, double lowerValue, double upperValue)
Create a degenerate branch object.
void setDownBounds(const double bounds[2])
Set lower and upper bounds for down branch.
virtual void print()
Print something about branch - only if log level high.
virtual ~CbcIntegerBranchingObject()
Destructor.
CbcIntegerBranchingObject(CbcModel *model, int variable, int way, double value)
Create a standard floor/ceiling branch object.
CbcIntegerBranchingObject()
Default constructor.
virtual void fix(OsiSolverInterface *solver, double *lower, double *upper, int branchState) const
Update bounds in solver as in 'branch' and update given bounds.
const double * downBounds() const
Lower and upper bounds for down branch.
double down_[2]
Lower [0] and upper [1] bounds for the down arm (way_ = -1)
void setUpBounds(const double bounds[2])
Set lower and upper bounds for up branch.
virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
Compare the this with brObj.
void fillPart(int variable, int way, double value)
Does part of constructor.
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.
Simple Branch and bound class.
virtual void feasibleRegion()=0
For the variable(s) referenced by the object, look at the current solution and set bounds to match th...
CbcModel * model() const
Return model.
int preferredWay() const
If -1 down always chosen first, +1 up always, 0 normal.
virtual OsiSolverBranch * solverBranch() const
Create an OsiSolverBranch object.
Define a single integer class.
virtual CbcObject * clone() const
Clone.
virtual void resetSequenceEtc(int numberColumns, const int *originalColumns)
Change column numbers after preprocessing.
void setColumnNumber(int value)
Set column number.
double originalUpper_
Original upper bound.
void setBreakEven(double value)
Set breakeven e.g 0.7 -> >= 0.7 go up first.
double breakEven_
Breakeven i.e. >= this preferred is up.
virtual int columnNumber() const
Column number if single column object -1 otherwise, so returns >= 0 Used by heuristics.
CbcSimpleInteger(CbcModel *model, int iColumn, double breakEven=0.5)
virtual void feasibleRegion()
Set bounds to fix the variable at the current (integer) value.
double originalLowerBound() const
Original bounds.
virtual void resetBounds(const OsiSolverInterface *solver)
Reset variable bounds to their original values.
OsiSimpleInteger * osiObject() const
Construct an OsiSimpleInteger object.
CbcSimpleInteger(const CbcSimpleInteger &)
void setOriginalUpperBound(double value)
int columnNumber_
Column number in model.
void setOriginalLowerBound(double value)
CbcSimpleInteger(CbcModel *model, const OsiSimpleInteger *object)
virtual double feasibleRegion(OsiSolverInterface *solver, const OsiBranchingInformation *info) const
Set bounds to fix the variable at the current (integer) value.
void fillCreateBranch(CbcIntegerBranchingObject *branching, const OsiBranchingInformation *info, int way)
Fills in a created branching object.
virtual CbcBranchingObject * createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way)
Create a branching object and indicate which way to branch first.
virtual OsiSolverBranch * solverBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info) const
Create an OsiSolverBranch object.
double originalUpperBound() const
double breakEven() const
Breakeven e.g 0.7 -> >= 0.7 go up first.
virtual ~CbcSimpleInteger()
virtual double infeasibility(const OsiBranchingInformation *info, int &preferredWay) const
Infeasibility - large is 0.5.
double originalLower_
data
CbcSimpleInteger & operator=(const CbcSimpleInteger &rhs)
int preferredWay_
If -1 down always chosen first, +1 up always, 0 normal.