12 #ifndef COUENNEBRANCHINGOBJECT_HPP 13 #define COUENNEBRANCHINGOBJECT_HPP 22 class CouenneCutGenerator;
25 #define COUENNE_CROP 1 26 #define COUENNE_LCROP (1e2*COUENNE_CROP) 28 #define COUENNE_LARGE_INTERVAL 1e4 29 #define COUENNE_NEAR_BOUND 1e-2 double downEstimate_
down branch estimate (done at selectBranch with reduced costs)
virtual bool boundBranch() const
does this branching object only change variable bounds?
expression * variable()
return branching variable
Cut Generator for linear convexifications.
double upEstimate_
up branch estimate
void setSimulate(bool s)
set simulate_ field below
double CouNumber
main number type in Couenne
CouenneCutGenerator * cutGen_
Pointer to CouenneCutGenerator (if any); if not NULL, allows to do extra cut generation during branch...
expression * variable_
The index of the variable this branching object refers to.
void branchCore(OsiSolverInterface *, int, int, bool, double, t_chg_bounds *&)
Perform branching step.
"Spatial" branching object.
bool simulate_
are we currently in strong branching?
virtual OsiBranchingObject * clone() const
cloning method
Class for MINLP problems with symbolic information.
static int maxDepthOrbBranch
bool doConvCuts_
shall we add convexification cuts at branching?
CouenneBranchingObject(OsiSolverInterface *solver, const OsiObject *originalObject, JnlstPtr jnlst, CouenneCutGenerator *c, CouenneProblem *p, expression *var, int way, CouNumber brpoint, bool doFBBT, bool doConvCuts)
Constructor.
bool doFBBT_
shall we do Feasibility based Bound Tightening (FBBT) at branching?
const OsiObject * originalObject() const
static int nSGcomputations
CouenneBranchingObject(const CouenneBranchingObject &src)
Copy constructor.
CouenneProblem * problem_
Pointer to CouenneProblem (necessary to allow FBBT)
JnlstPtr jnlst_
SmartPointer to the Journalist.
status of lower/upper bound of a variable, to be checked/modified in bound tightening
general include file for different compilers