8 #ifndef CbcSimpleIntegerDynamicPseudoCost_H
9 #define CbcSimpleIntegerDynamicPseudoCost_H
14 #define MINIMUM_MOVEMENT 0.1
20 #define WEIGHT_AFTER 0.8
21 #define WEIGHT_BEFORE 0.1
23 #define WEIGHT_PRODUCT
48 double downDynamicPseudoCost,
double upDynamicPseudoCost);
87 void updateAfterMini(
int numberDown,
int numberDownInfeasible,
double sumDown,
88 int numberUp,
int numberUpInfeasible,
double sumUp);
356 void print(
int type = 0,
double value = 0.0)
const;
457 double lowerValue,
double upperValue);
509 #ifdef SWITCH_VARIABLES
519 CbcSwitchingBinary();
523 int nOdd,
const int *other,
const int *otherRow);
526 CbcSwitchingBinary(
const CbcSwitchingBinary &);
532 CbcSwitchingBinary &
operator=(
const CbcSwitchingBinary &rhs);
535 virtual ~CbcSwitchingBinary();
538 void addZeroSwitches(
int nAdd,
const int *columns);
541 int &preferredWay)
const;
544 bool same(
const CbcSwitchingBinary *obj)
const;
547 int cleanBasis = 0)
const;
550 int printLevel,
int state[3],
int &nBadFixed)
const;
552 inline const double *zeroLowerBound()
const
554 return zeroLowerBound_;
557 inline const double *oneLowerBound()
const
559 return oneLowerBound_;
562 inline const double *zeroUpperBound()
const
564 return zeroUpperBound_;
567 inline const double *oneUpperBound()
const
569 return oneUpperBound_;
573 inline const int *otherVariable()
const
575 return otherVariable_;
578 inline int numberOther()
const
587 inline int type()
const
596 double *zeroLowerBound_;
598 double *oneLowerBound_;
600 double *zeroUpperBound_;
602 double *oneUpperBound_;
Simple branching object for an integer variable.
void updateAfterMini(int numberDown, int numberDownInfeasible, double sumDown, int numberUp, int numberUpInfeasible, double sumUp)
Updates stuff like pseudocosts after mini branch and bound.
virtual void updateBefore(const OsiObject *rhs)
Updates stuff like pseudocosts before threads.
void incrementNumberTimesUp()
Increment up number times.
void addToSumDownCost(double value)
Add to down sum cost and set last and square.
virtual ~CbcSimpleIntegerDynamicPseudoCost()
double upShadowPrice_
Current pseudo-shadow price estimate up.
bool same(const CbcSimpleIntegerDynamicPseudoCost *obj) const
Same - returns true if contents match(ish)
void setDownDynamicPseudoCost(double value)
Set down pseudo cost.
void setUpShadowPrice(double value)
Set up pseudo shadow price cost.
int numberTimesUpInfeasible() const
Up number times infeasible.
void setNumberTimesDownInfeasible(int value)
Set down number times infeasible.
int numberBeforeTrust() const
Number of times before trusted.
void setSumDownCost(double value)
Set down sum cost.
void setSumUpCost(double value)
Set up sum cost.
void addToSumDownDecrease(double value)
Add to sum down decrease number infeasibilities from strong or actual.
virtual ~CbcIntegerPseudoCostBranchingObject()
Destructor.
int numberTimesDownInfeasible_
Number of times we have been infeasible going down.
void setUpDynamicPseudoCost(double value)
Set up pseudo cost.
CbcIntegerPseudoCostBranchingObject & operator=(const CbcIntegerPseudoCostBranchingObject &rhs)
Assignment operator.
CbcIntegerPseudoCostBranchingObject()
Default constructor.
virtual CbcBranchingObject * clone() const
Clone.
double sumUpDecrease_
Sum up decrease number infeasibilities from strong or actual.
void setNumberBeforeTrust(int value)
Set number of times before trusted.
int numberTimesDown_
Number of times we have gone down.
void incrementNumberBeforeTrust()
Increment number of times before trusted.
double downDynamicPseudoCost() const
Down pseudo cost.
void addToSumUpDecrease(double value)
Add to sum up decrease number infeasibilities from strong or actual.
double numberTimesDownTotalFixed_
Number of total probing fixings going down.
void incrementNumberTimesDown()
Increment down number times.
virtual OsiSolverBranch * solverBranch() const
Create an OsiSolverBranch object.
int method_
Number of times infeasible when tested.
void print(int type=0, double value=0.0) const
Print - 0 -summary, 1 just before strong.
virtual CbcBranchingObject * createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way)
Creates a branching object.
Define a single integer class but with dynamic pseudo costs.
int numberTimesDownInfeasible() const
Down number times infeasible.
double sumUpCost() const
Up sum cost.
virtual OsiSolverBranch * solverBranch() const
Create an OsiSolverBranch object.
double value() const
Current value.
int numberTimesUp_
Number of times we have gone up.
virtual void updateInformation(const CbcObjectUpdateData &data)
Update object by CbcObjectUpdateData.
double sumUpDecrease() const
Sum up decrease number infeasibilities from strong or actual.
int numberTimesDownLocalFixed_
Number of local probing fixings going down.
int preferredWay() const
If -1 down always chosen first, +1 up always, 0 normal.
void setUpDownSeparator(double value)
Set up down separator.
Abstract Base Class for describing an interface to a solver.
Define a single integer class.
virtual double upEstimate() const
Return "up" estimate.
virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
Compare the this with brObj.
int numberTimesProbingTotal_
Number of times probing done.
virtual double branch()
Sets the bounds for the variable according to the current arm of the branch and advances the object s...
double downShadowPrice_
Current pseudo-shadow price estimate down.
int variable() const
Index identifying the associated CbcObject within its class.
void addToSumUpChange(double value)
Add to up sum change and set last and square.
double infeasibility() const
Return infeasibility.
double sumDownDecrease_
Sum down decrease number infeasibilities from strong or actual.
void setSumUpChange(double value)
Set up sum change.
double sumUpCost_
Sum up cost from strong or actual.
void updateUpDynamicPseudoCost(double value)
Modify up pseudo cost in a slightly different way.
double upDynamicPseudoCost() const
Up pseudo cost.
CbcModel * model() const
Return model.
double upShadowPrice() const
Up pseudo shadow price cost.
int way() const
Get the state of the branching object.
int numberTimesUp() const
Up number times.
double sumDownChange() const
Down sum change.
double sumUpChange_
Sum of all changes to x when going up.
double sumDownChange_
Sum of all changes to x when going down.
void setProbingInformation(int fixedDown, int fixedUp)
Pass in probing information.
void addToSumDownChange(double value)
Add to down sum change.
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.
void incrementNumberTimesUpInfeasible()
Increment up number times infeasible.
CbcSimpleIntegerDynamicPseudoCost()
Abstract branching object base class Now just difference with OsiBranchingObject. ...
double sumDownCost_
Sum down cost from strong or actual.
double upDynamicPseudoCost_
Up pseudo cost.
void setMethod(int value)
Set method.
double downDynamicPseudoCost_
data
Information required while the node is live.
CbcSimpleIntegerDynamicPseudoCost & operator=(const CbcSimpleIntegerDynamicPseudoCost &rhs)
void setSumUpDecrease(double value)
Set sum up decrease number infeasibilities from strong or actual.
void setUpInformation(double changeObjectiveUp, int changeInfeasibilityUp)
Pass in information on a up branch.
void setNumberTimesDown(int value)
Set down number times.
int numberTimesBranched() const
Number times branched.
int lastUpDecrease_
Last up decrease number infeasibilities from strong (i.e. as computed by last strong) ...
double sumDownCost() const
Down sum cost.
int numberBeforeTrust_
Number of branches before we trust.
int method() const
method - see below for details
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...
int numberTimesDown() const
Down number times.
double sumUpChange() const
Up sum change.
void copySome(const CbcSimpleIntegerDynamicPseudoCost *otherObject)
Copy some information i.e. just variable stuff.
void setNumberTimesUpInfeasible(int value)
Set up number times infeasible.
double breakEven() const
Breakeven e.g 0.7 -> >= 0.7 go up first.
void setDownInformation(double changeObjectiveDown, int changeInfeasibilityDown)
Pass in information on a down branch.
double changeInGuessed() const
Change in guessed.
void setSumDownDecrease(double value)
Set sum down decrease number infeasibilities from strong or actual.
void addToSumUpCost(double value)
Add to up sum cost and set last and square.
double changeInGuessed_
Change in guessed objective value for next branch.
void setChangeInGuessed(double value)
Set change in guessed.
double numberTimesUpTotalFixed_
Number of total probing fixings going up.
void incrementNumberTimesDownInfeasible()
Increment down number times infeasible.
void setNumberTimesUp(int value)
Set up number times.
double upDownSeparator_
Up/down separator If >0.0 then do first branch up if value-floor(value) >= this value.
Simple branching object for an integer variable with pseudo costs.
double downShadowPrice() const
Down pseudo shadow price cost.
int numberTimesUpLocalFixed_
Number of local probing fixings going up.
virtual CbcObjectUpdateData createUpdateInformation(const OsiSolverInterface *solver, const CbcNode *node, const CbcBranchingObject *branchingObject)
Fills in a created branching object.
int lastDownDecrease_
Last down decrease number infeasibilities from strong (i.e. as computed by last strong) ...
void setSumDownChange(double value)
Set down sum change.
void setDownShadowPrice(double value)
Set down pseudo shadow price cost.
virtual void updateAfter(const OsiObject *rhs, const OsiObject *baseObject)
Updates stuff like pseudocosts after threads finished.
double lastUpCost_
Last up cost from strong (i.e. as computed by last strong)
virtual double downEstimate() const
Return "down" estimate (default 1.0e-5)
virtual CbcObject * clone() const
Clone.
Abstract base class for `objects'.
Simple Branch and bound class.
int numberTimesUpInfeasible_
Number of times we have been infeasible going up.
double lastDownCost_
Last down cost from strong (i.e. as computed by last strong)
double sumDownDecrease() const
Sum down decrease number infeasibilities from strong or actual.
double upDownSeparator() const
Up down separator.
void updateDownDynamicPseudoCost(double value)
Modify down pseudo cost in a slightly different way.