8 #ifndef CbcSimpleInteger_H
9 #define CbcSimpleInteger_H
47 double lowerValue,
double upperValue);
62 void fillPart(
int variable,
int way,
double value);
72 double *lower,
double *upper,
73 int branchState)
const;
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
160 #ifdef FUNNY_BRANCHING
167 int numberExtraChangedBounds_;
253 virtual void resetSequenceEtc(
int numberColumns,
const int *originalColumns);
Simple branching object for an integer variable.
const double * upBounds() const
Lower and upper bounds for up branch.
OsiSimpleInteger * osiObject() const
Construct an OsiSimpleInteger object.
void setDownBounds(const double bounds[2])
Set lower and upper bounds for down branch.
virtual ~CbcSimpleInteger()
virtual void feasibleRegion()=0
For the variable(s) referenced by the object, look at the current solution and set bounds to match th...
Define a single integer class.
void setBreakEven(double value)
Set breakeven e.g 0.7 -> >= 0.7 go up first.
void setOriginalLowerBound(double value)
double down_[2]
Lower [0] and upper [1] bounds for the down arm (way_ = -1)
CbcIntegerBranchingObject()
Default constructor.
CbcIntegerBranchingObject & operator=(const CbcIntegerBranchingObject &rhs)
Assignment operator.
virtual void fix(OsiSolverInterface *solver, double *lower, double *upper, int branchState) const
Update bounds in solver as in 'branch' and update given bounds.
virtual int columnNumber() const
Column number if single column object -1 otherwise, so returns >= 0 Used by heuristics.
virtual OsiSolverBranch * solverBranch() const
Create an OsiSolverBranch object.
double value() const
Current value.
virtual ~CbcIntegerBranchingObject()
Destructor.
virtual void resetBounds(const OsiSolverInterface *solver)
Reset variable bounds to their original values.
virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
Compare the this with brObj.
virtual CbcBranchingObject * createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way)
Create a branching object and indicate which way to branch first.
const double * downBounds() const
Lower and upper bounds for down branch.
int preferredWay() const
If -1 down always chosen first, +1 up always, 0 normal.
Abstract Base Class for describing an interface to a solver.
Define a single integer class.
void fillPart(int variable, int way, double value)
Does part of constructor.
virtual double branch()
Sets the bounds for the variable according to the current arm of the branch and advances the object s...
int variable() const
Index identifying the associated CbcObject within its class.
void setUpBounds(const double bounds[2])
Set lower and upper bounds for up branch.
double infeasibility() const
Return infeasibility.
virtual CbcBranchingObject * clone() const
Clone.
double originalUpper_
Original upper bound.
int way() const
Get the state of the branching object.
double originalLowerBound() const
Original bounds.
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 CbcObject * clone() const
Clone.
double originalLower_
data
double originalUpperBound() const
int preferredWay_
If -1 down always chosen first, +1 up always, 0 normal.
virtual void feasibleRegion()
Set bounds to fix the variable at the current (integer) value.
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.
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...
void fillCreateBranch(CbcIntegerBranchingObject *branching, const OsiBranchingInformation *info, int way)
Fills in a created branching object.
virtual bool tighten(OsiSolverInterface *)
Change (tighten) bounds in object to reflect bounds in solver.
virtual void print() const
Print something about branch - only if log level high.
double breakEven() const
Breakeven e.g 0.7 -> >= 0.7 go up first.
virtual void print()
Print something about branch - only if log level high.
CbcSimpleInteger & operator=(const CbcSimpleInteger &rhs)
int columnNumber_
Column number in model.
double breakEven_
Breakeven i.e. >= this preferred is up.
double up_[2]
Lower [0] and upper [1] bounds for the up arm (way_ = 1)
void setColumnNumber(int value)
Set column number.
void setOriginalUpperBound(double value)
const double COIN_DBL_MAX
Simple Branch and bound class.
virtual void resetSequenceEtc(int numberColumns, const int *originalColumns)
Change column numbers after preprocessing.