Couenne 0.5.8
|
"Spatial" branching object for complementarity constraints. More...
#include <CouenneComplBranchingObject.hpp>
Public Member Functions | |
CouenneComplBranchingObject (OsiSolverInterface *solver, const OsiObject *originalObject, JnlstPtr jnlst, CouenneCutGenerator *c, CouenneProblem *p, expression *var, expression *var2, int way, CouNumber brpoint, bool doFBBT, bool doConvCuts, int sign) | |
Constructor. | |
CouenneComplBranchingObject (const CouenneComplBranchingObject &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. | |
![]() | |
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 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. | |
![]() | |
OsiTwoWayBranchingObject () | |
OsiTwoWayBranchingObject (OsiSolverInterface *solver, const OsiObject *originalObject, int way, double value) | |
OsiTwoWayBranchingObject (const OsiTwoWayBranchingObject &) | |
OsiTwoWayBranchingObject & | operator= (const OsiTwoWayBranchingObject &rhs) |
virtual | ~OsiTwoWayBranchingObject () |
int | firstBranch () const |
int | way () const |
virtual double | branch (OsiSolverInterface *solver)=0 |
virtual double | branch () |
![]() | |
OsiBranchingObject () | |
OsiBranchingObject (OsiSolverInterface *solver, double value) | |
OsiBranchingObject (const OsiBranchingObject &) | |
OsiBranchingObject & | operator= (const OsiBranchingObject &rhs) |
virtual | ~OsiBranchingObject () |
int | numberBranches () const |
int | numberBranchesLeft () const |
void | incrementNumberBranchesLeft () |
void | setNumberBranchesLeft (int) |
void | decrementNumberBranchesLeft () |
int | branchIndex () const |
void | setBranchingIndex (int branchIndex) |
double | value () const |
const OsiObject * | originalObject () const |
void | setOriginalObject (const OsiObject *object) |
virtual void | checkIsCutoff (double) |
int | columnNumber () const |
virtual void | print (const OsiSolverInterface *=NULL) const |
Protected Attributes | |
expression * | variable2_ |
use CouenneBranchingObject::variable_ as the first variable to set to 0, and this one as the second | |
int | sign_ |
-1 if object is for xi * xj <= 0 +1 if object is for xi * xj <= 0 0 if object is for xi * xj = 0 (classical) | |
![]() | |
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? | |
![]() | |
int | firstBranch_ |
![]() | |
double | value_ |
const OsiObject * | originalObject_ |
int | numberBranches_ |
short | branchIndex_ |
Additional Inherited Members | |
![]() | |
static int | nOrbBr |
static int | maxDepthOrbBranch |
static int | nSGcomputations |
"Spatial" branching object for complementarity constraints.
Branching on such an object x_1 x_2 = 0 is performed by setting either x_1=0 or x_2=0
Definition at line 24 of file CouenneComplBranchingObject.hpp.
Couenne::CouenneComplBranchingObject::CouenneComplBranchingObject | ( | OsiSolverInterface * | solver, |
const OsiObject * | originalObject, | ||
JnlstPtr | jnlst, | ||
CouenneCutGenerator * | c, | ||
CouenneProblem * | p, | ||
expression * | var, | ||
expression * | var2, | ||
int | way, | ||
CouNumber | brpoint, | ||
bool | doFBBT, | ||
bool | doConvCuts, | ||
int | sign ) |
Constructor.
|
inline |
Copy constructor.
Definition at line 43 of file CouenneComplBranchingObject.hpp.
|
inlinevirtual |
cloning method
Reimplemented from Couenne::CouenneBranchingObject.
Definition at line 49 of file CouenneComplBranchingObject.hpp.
|
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 from Couenne::CouenneBranchingObject.
|
protected |
use CouenneBranchingObject::variable_ as the first variable to set to 0, and this one as the second
Definition at line 63 of file CouenneComplBranchingObject.hpp.
|
protected |
-1 if object is for xi * xj <= 0 +1 if object is for xi * xj <= 0 0 if object is for xi * xj = 0 (classical)
Definition at line 68 of file CouenneComplBranchingObject.hpp.