#include <CouenneBranchingObject.hpp>
Inheritance diagram for Couenne::CouenneBranchingObject:
Public Member Functions | |
CouenneBranchingObject (OsiSolverInterface *solver, const OsiObject *originalObject, JnlstPtr jnlst, CouenneCutGenerator *c, CouenneProblem *p, expression *var, int way, CouNumber brpoint, bool doFBBT, bool doConvCuts) | |
Constructor. | |
CouenneBranchingObject (const CouenneBranchingObject &src) | |
Copy constructor. | |
virtual OsiBranchingObject * | clone () const |
cloning method | |
virtual double | branch (OsiSolverInterface *solver=NULL) |
Execute the actions required to branch, as specified by the current state of the branching object, and advance the object's state. | |
virtual bool | boundBranch () const |
does this branching object only change variable bounds? | |
void | setSimulate (bool s) |
set simulate_ field below | |
expression * | variable () |
return branching variable | |
void | branchCore (OsiSolverInterface *, int, int, bool, double, t_chg_bounds *&) |
Perform branching step. | |
Protected Attributes | |
CouenneCutGenerator * | cutGen_ |
Pointer to CouenneCutGenerator (if any); if not NULL, allows to do extra cut generation during branching. | |
CouenneProblem * | problem_ |
Pointer to CouenneProblem (necessary to allow FBBT). | |
expression * | variable_ |
The index of the variable this branching object refers to. | |
JnlstPtr | jnlst_ |
SmartPointer to the Journalist. | |
bool | doFBBT_ |
shall we do Feasibility based Bound Tightening (FBBT) at branching? | |
bool | doConvCuts_ |
shall we add convexification cuts at branching? | |
double | downEstimate_ |
down branch estimate (done at selectBranch with reduced costs) | |
double | upEstimate_ |
up branch estimate | |
bool | simulate_ |
are we currently in strong branching? |
Branching can also be performed on continuous variables.
Definition at line 37 of file CouenneBranchingObject.hpp.
CouenneBranchingObject::CouenneBranchingObject | ( | OsiSolverInterface * | solver, | |
const OsiObject * | originalObject, | |||
JnlstPtr | jnlst, | |||
CouenneCutGenerator * | cutGen, | |||
CouenneProblem * | problem, | |||
expression * | var, | |||
int | way, | |||
CouNumber | brpoint, | |||
bool | doFBBT, | |||
bool | doConvCuts | |||
) |
Constructor.
Get a variable as an argument and set value_ through a call to operator () of that exprAux.
Definition at line 35 of file CouenneBranchingObject.cpp.
References AGGR_MUL, Couenne::closeToBounds, COUENNE_EPS, Couenne::J_BRANCHING(), jnlst_, Couenne::large_bound, and variable_.
Referenced by clone().
Couenne::CouenneBranchingObject::CouenneBranchingObject | ( | const CouenneBranchingObject & | src | ) | [inline] |
virtual OsiBranchingObject* Couenne::CouenneBranchingObject::clone | ( | ) | const [inline, virtual] |
cloning method
Reimplemented in Couenne::CouenneComplBranchingObject, and Couenne::CouenneOrbitBranchingObj.
Definition at line 68 of file CouenneBranchingObject.hpp.
References CouenneBranchingObject().
double CouenneBranchingObject::branch | ( | OsiSolverInterface * | solver = NULL |
) | [virtual] |
Execute the actions required to branch, as specified by the current state of the branching object, and advance the object's state.
Returns change in guessed objective on next branch
Reimplemented in Couenne::CouenneComplBranchingObject, and Couenne::CouenneOrbitBranchingObj.
Definition at line 107 of file CouenneBranchingObject.cpp.
References AGGR_MUL, branchCore(), Couenne::closeToBounds, COUENNE_EPS, cutGen_, Couenne::default_alpha, doConvCuts_, doFBBT_, infeasible, Couenne::isInteger(), Couenne::J_BRANCHING(), jnlst_, Couenne::large_bound, problem_, simulate_, Couenne::sparse2dense(), and variable_.
virtual bool Couenne::CouenneBranchingObject::boundBranch | ( | ) | const [inline, virtual] |
does this branching object only change variable bounds?
Reimplemented in Couenne::CouenneOrbitBranchingObj.
Definition at line 79 of file CouenneBranchingObject.hpp.
References doConvCuts_.
void Couenne::CouenneBranchingObject::setSimulate | ( | bool | s | ) | [inline] |
set simulate_ field below
Reimplemented in Couenne::CouenneOrbitBranchingObj.
Definition at line 83 of file CouenneBranchingObject.hpp.
References simulate_.
expression* Couenne::CouenneBranchingObject::variable | ( | ) | [inline] |
return branching variable
Definition at line 87 of file CouenneBranchingObject.hpp.
References variable_.
void CouenneBranchingObject::branchCore | ( | OsiSolverInterface * | , | |
int | , | |||
int | , | |||
bool | , | |||
double | , | |||
t_chg_bounds *& | ||||
) |
Perform branching step.
only perform orbital branching if
1) Nauty has been made available through configure 2) The orbital_branching option has been set to yes
plain (non-orbital) branching
Definition at line 24 of file BranchCore.cpp.
References Couenne::t_chg_bounds::CHANGED, COUENNE_EPS, cutGen_, doConvCuts_, doFBBT_, Couenne::J_BRANCHING(), jnlst_, nOrbBr, problem_, Couenne::t_chg_bounds::setLower(), Couenne::t_chg_bounds::setUpper(), and simulate_.
Referenced by branch().
Pointer to CouenneCutGenerator (if any); if not NULL, allows to do extra cut generation during branching.
Definition at line 97 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneComplBranchingObject::branch(), branch(), and branchCore().
CouenneProblem* Couenne::CouenneBranchingObject::problem_ [protected] |
Pointer to CouenneProblem (necessary to allow FBBT).
Definition at line 100 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneComplBranchingObject::branch(), branch(), and branchCore().
expression* Couenne::CouenneBranchingObject::variable_ [protected] |
The index of the variable this branching object refers to.
If the corresponding CouenneObject was created on w=f(x,y), it is either x or y, chosen previously with a call to getFixVar() expression *reference_;
Definition at line 106 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneComplBranchingObject::branch(), branch(), CouenneBranchingObject(), Couenne::CouenneComplBranchingObject::CouenneComplBranchingObject(), and variable().
JnlstPtr Couenne::CouenneBranchingObject::jnlst_ [protected] |
SmartPointer to the Journalist.
Definition at line 109 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneComplBranchingObject::branch(), branch(), branchCore(), CouenneBranchingObject(), and Couenne::CouenneComplBranchingObject::CouenneComplBranchingObject().
bool Couenne::CouenneBranchingObject::doFBBT_ [protected] |
shall we do Feasibility based Bound Tightening (FBBT) at branching?
Definition at line 112 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneComplBranchingObject::branch(), branch(), and branchCore().
bool Couenne::CouenneBranchingObject::doConvCuts_ [protected] |
shall we add convexification cuts at branching?
Definition at line 115 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneOrbitBranchingObj::boundBranch(), boundBranch(), Couenne::CouenneComplBranchingObject::branch(), branch(), and branchCore().
double Couenne::CouenneBranchingObject::downEstimate_ [protected] |
down branch estimate (done at selectBranch with reduced costs)
Definition at line 118 of file CouenneBranchingObject.hpp.
double Couenne::CouenneBranchingObject::upEstimate_ [protected] |
bool Couenne::CouenneBranchingObject::simulate_ [protected] |
are we currently in strong branching?
Definition at line 124 of file CouenneBranchingObject.hpp.
Referenced by Couenne::CouenneComplBranchingObject::branch(), branch(), branchCore(), Couenne::CouenneOrbitBranchingObj::setSimulate(), and setSimulate().