#include <CouenneBranchingObject.hpp>
Inheritance diagram for 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 | |
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 35 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 34 of file CouenneBranchingObject.cpp.
References closeToBounds, COUENNE_INFINITY, J_BRANCHING(), jnlst_, and variable_.
Referenced by clone().
CouenneBranchingObject::CouenneBranchingObject | ( | const CouenneBranchingObject & | src | ) | [inline] |
virtual OsiBranchingObject* CouenneBranchingObject::clone | ( | ) | const [inline, virtual] |
cloning method
Reimplemented in CouenneComplBranchingObject, and CouenneOrbitBranchingObj.
Definition at line 66 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 CouenneComplBranchingObject, and CouenneOrbitBranchingObj.
Definition at line 98 of file CouenneBranchingObject.cpp.
References t_chg_bounds::CHANGED, COUENNE_EPS, cutGen_, doConvCuts_, doFBBT_, CouenneCutGenerator::genRowCuts(), infeasible, isInteger(), J_BRANCHING(), jnlst_, problem_, t_chg_bounds::setLower(), t_chg_bounds::setUpper(), simulate_, sparse2dense(), and variable_.
virtual bool CouenneBranchingObject::boundBranch | ( | ) | const [inline, virtual] |
does this branching object only change variable bounds?
Reimplemented in CouenneOrbitBranchingObj.
Definition at line 77 of file CouenneBranchingObject.hpp.
References doConvCuts_.
void CouenneBranchingObject::setSimulate | ( | bool | s | ) | [inline] |
set simulate_ field below
Reimplemented in CouenneOrbitBranchingObj.
Definition at line 81 of file CouenneBranchingObject.hpp.
References simulate_.
expression* CouenneBranchingObject::variable | ( | ) | [inline] |
return branching variable
Definition at line 85 of file CouenneBranchingObject.hpp.
References variable_.
CouenneCutGenerator* CouenneBranchingObject::cutGen_ [protected] |
Pointer to CouenneCutGenerator (if any); if not NULL, allows to do extra cut generation during branching.
Definition at line 92 of file CouenneBranchingObject.hpp.
Referenced by CouenneComplBranchingObject::branch(), and branch().
CouenneProblem* CouenneBranchingObject::problem_ [protected] |
Pointer to CouenneProblem (necessary to allow FBBT).
Definition at line 95 of file CouenneBranchingObject.hpp.
Referenced by CouenneComplBranchingObject::branch(), and branch().
expression* 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 101 of file CouenneBranchingObject.hpp.
Referenced by CouenneComplBranchingObject::branch(), branch(), CouenneBranchingObject(), CouenneComplBranchingObject::CouenneComplBranchingObject(), and variable().
JnlstPtr CouenneBranchingObject::jnlst_ [protected] |
SmartPointer to the Journalist.
Definition at line 104 of file CouenneBranchingObject.hpp.
Referenced by CouenneComplBranchingObject::branch(), branch(), CouenneBranchingObject(), and CouenneComplBranchingObject::CouenneComplBranchingObject().
bool CouenneBranchingObject::doFBBT_ [protected] |
shall we do Feasibility based Bound Tightening (FBBT) at branching?
Definition at line 107 of file CouenneBranchingObject.hpp.
Referenced by CouenneComplBranchingObject::branch(), and branch().
bool CouenneBranchingObject::doConvCuts_ [protected] |
shall we add convexification cuts at branching?
Definition at line 110 of file CouenneBranchingObject.hpp.
Referenced by CouenneOrbitBranchingObj::boundBranch(), boundBranch(), CouenneComplBranchingObject::branch(), and branch().
double CouenneBranchingObject::downEstimate_ [protected] |
down branch estimate (done at selectBranch with reduced costs)
Definition at line 113 of file CouenneBranchingObject.hpp.
double CouenneBranchingObject::upEstimate_ [protected] |
bool CouenneBranchingObject::simulate_ [protected] |
are we currently in strong branching?
Definition at line 119 of file CouenneBranchingObject.hpp.
Referenced by CouenneComplBranchingObject::branch(), branch(), CouenneOrbitBranchingObj::setSimulate(), and setSimulate().