Couenne::CouenneBranchingObject Class Reference

"Spatial" branching object. More...

#include <CouenneBranchingObject.hpp>

Inheritance diagram for Couenne::CouenneBranchingObject:

Inheritance graph
[legend]
Collaboration diagram for Couenne::CouenneBranchingObject:

Collaboration graph
[legend]
List of all members.

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
expressionvariable ()
 return branching variable
void branchCore (OsiSolverInterface *, int, int, bool, double, t_chg_bounds *&)
 Perform branching step.

Protected Attributes

CouenneCutGeneratorcutGen_
 Pointer to CouenneCutGenerator (if any); if not NULL, allows to do extra cut generation during branching.
CouenneProblemproblem_
 Pointer to CouenneProblem (necessary to allow FBBT).
expressionvariable_
 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?

Detailed Description

"Spatial" branching object.

Branching can also be performed on continuous variables.

Definition at line 37 of file CouenneBranchingObject.hpp.


Constructor & Destructor Documentation

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]

Copy constructor.

Definition at line 54 of file CouenneBranchingObject.hpp.


Member Function Documentation

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().


Member Data Documentation

CouenneCutGenerator* Couenne::CouenneBranchingObject::cutGen_ [protected]

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]

up branch estimate

Definition at line 121 of file CouenneBranchingObject.hpp.

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().


The documentation for this class was generated from the following files:
Generated on Thu Nov 10 03:13:52 2011 by  doxygen 1.4.7