Scippy

SCIP

Solving Constraint Integer Programs

tree.h File Reference

Detailed Description

internal methods for branch and bound tree

Author
Tobias Achterberg
Timo Berthold

Definition in file tree.h.

#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_set.h"
#include "scip/type_stat.h"
#include "scip/type_event.h"
#include "scip/type_lp.h"
#include "scip/type_var.h"
#include "scip/type_prob.h"
#include "scip/type_primal.h"
#include "scip/type_tree.h"
#include "scip/type_branch.h"
#include "scip/type_prop.h"
#include "scip/pub_tree.h"
#include "scip/struct_tree.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPnodeCreateChild (SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_Real nodeselprio, SCIP_Real estimate)
 
SCIP_RETCODE SCIPnodeFree (SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_LP *lp)
 
SCIP_RETCODE SCIPnodeCaptureLPIState (SCIP_NODE *node, int nuses)
 
SCIP_RETCODE SCIPnodeReleaseLPIState (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_LP *lp)
 
SCIP_RETCODE SCIPnodeFocus (SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_Bool *cutoff, SCIP_Bool exitsolve)
 
void SCIPnodeCutoff (SCIP_NODE *node, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree)
 
void SCIPnodePropagateAgain (SCIP_NODE *node, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree)
 
void SCIPnodeMarkPropagated (SCIP_NODE *node, SCIP_TREE *tree)
 
SCIP_RETCODE SCIPnodeAddCons (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_CONS *cons)
 
SCIP_RETCODE SCIPnodeDelCons (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_CONS *cons)
 
SCIP_RETCODE SCIPnodeAddBoundinfer (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange)
 
SCIP_RETCODE SCIPnodeAddBoundchg (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_Bool probingchange)
 
SCIP_RETCODE SCIPnodeAddHoleinfer (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real left, SCIP_Real right, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange, SCIP_Bool *added)
 
SCIP_RETCODE SCIPnodeAddHolechg (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real left, SCIP_Real right, SCIP_Bool probingchange, SCIP_Bool *added)
 
void SCIPnodeUpdateLowerbound (SCIP_NODE *node, SCIP_STAT *stat, SCIP_SET *set, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Real newbound)
 
SCIP_RETCODE SCIPnodeUpdateLowerboundLP (SCIP_NODE *node, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp)
 
void SCIPchildChgNodeselPrio (SCIP_TREE *tree, SCIP_NODE *child, SCIP_Real priority)
 
void SCIPnodeSetEstimate (SCIP_NODE *node, SCIP_SET *set, SCIP_Real newestimate)
 
SCIP_RETCODE SCIPnodePropagateImplics (SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Bool *cutoff)
 
SCIP_RETCODE SCIPtreeCreate (SCIP_TREE **tree, SCIP_SET *set, SCIP_NODESEL *nodesel)
 
SCIP_RETCODE SCIPtreeFree (SCIP_TREE **tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
 
SCIP_RETCODE SCIPtreeClear (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
 
SCIP_RETCODE SCIPtreeCreateRoot (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
 
SCIP_RETCODE SCIPtreeCreatePresolvingRoot (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue)
 
SCIP_RETCODE SCIPtreeFreePresolvingRoot (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue)
 
SCIP_NODESELSCIPtreeGetNodesel (SCIP_TREE *tree)
 
SCIP_RETCODE SCIPtreeSetNodesel (SCIP_TREE *tree, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_NODESEL *nodesel)
 
SCIP_RETCODE SCIPtreeCutoff (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real cutoffbound)
 
SCIP_RETCODE SCIPtreeLoadLP (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp, SCIP_Bool *initroot)
 
SCIP_RETCODE SCIPtreeLoadLPState (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
 
SCIP_Real SCIPtreeCalcNodeselPriority (SCIP_TREE *tree, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, SCIP_BRANCHDIR branchdir, SCIP_Real targetvalue)
 
SCIP_Real SCIPtreeCalcChildEstimate (SCIP_TREE *tree, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, SCIP_Real targetvalue)
 
SCIP_RETCODE SCIPtreeBranchVar (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real val, SCIP_NODE **downchild, SCIP_NODE **eqchild, SCIP_NODE **upchild)
 
SCIP_RETCODE SCIPtreeBranchVarHole (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real left, SCIP_Real right, SCIP_NODE **downchild, SCIP_NODE **upchild)
 
SCIP_RETCODE SCIPtreeBranchVarNary (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real val, int n, SCIP_Real minwidth, SCIP_Real widthfactor, int *nchildren)
 
SCIP_RETCODE SCIPtreeStartProbing (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp, SCIP_Bool strongbranching)
 
SCIP_RETCODE SCIPtreeCreateProbingNode (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
 
SCIP_RETCODE SCIPtreeLoadProbingLPState (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
 
SCIP_RETCODE SCIPtreeMarkProbingNodeHasLP (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_LP *lp)
 
SCIP_RETCODE SCIPtreeBacktrackProbing (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, int probingdepth)
 
SCIP_RETCODE SCIPtreeEndProbing (SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
int SCIPtreeGetNChildren (SCIP_TREE *tree)
 
int SCIPtreeGetNSiblings (SCIP_TREE *tree)
 
int SCIPtreeGetNLeaves (SCIP_TREE *tree)
 
int SCIPtreeGetNNodes (SCIP_TREE *tree)
 
SCIP_Bool SCIPtreeIsPathComplete (SCIP_TREE *tree)
 
SCIP_Bool SCIPtreeProbing (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetProbingRoot (SCIP_TREE *tree)
 
int SCIPtreeGetProbingDepth (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetFocusNode (SCIP_TREE *tree)
 
int SCIPtreeGetFocusDepth (SCIP_TREE *tree)
 
SCIP_Bool SCIPtreeHasFocusNodeLP (SCIP_TREE *tree)
 
void SCIPtreeSetFocusNodeLP (SCIP_TREE *tree, SCIP_Bool solvelp)
 
SCIP_Bool SCIPtreeIsFocusNodeLPConstructed (SCIP_TREE *tree)
 
SCIP_Bool SCIPtreeInRepropagation (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetCurrentNode (SCIP_TREE *tree)
 
int SCIPtreeGetCurrentDepth (SCIP_TREE *tree)
 
SCIP_Bool SCIPtreeHasCurrentNodeLP (SCIP_TREE *tree)
 
int SCIPtreeGetEffectiveRootDepth (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetRootNode (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetPrioChild (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetPrioSibling (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetBestChild (SCIP_TREE *tree, SCIP_SET *set)
 
SCIP_NODESCIPtreeGetBestSibling (SCIP_TREE *tree, SCIP_SET *set)
 
SCIP_NODESCIPtreeGetBestLeaf (SCIP_TREE *tree)
 
SCIP_NODESCIPtreeGetBestNode (SCIP_TREE *tree, SCIP_SET *set)
 
SCIP_Real SCIPtreeGetLowerbound (SCIP_TREE *tree, SCIP_SET *set)
 
SCIP_NODESCIPtreeGetLowerboundNode (SCIP_TREE *tree, SCIP_SET *set)
 
SCIP_Real SCIPtreeGetAvgLowerbound (SCIP_TREE *tree, SCIP_Real cutoffbound)
 

Function Documentation

SCIP_RETCODE SCIPnodeCreateChild ( SCIP_NODE **  node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_Real  nodeselprio,
SCIP_Real  estimate 
)

creates a child node of the focus node

Parameters
nodepointer to node data structure
blkmemblock memory
setglobal SCIP settings
statproblem statistics
treebranch and bound tree
nodeselprionode selection priority of new node
estimateestimate for (transformed) objective value of best feasible solution in subtree

Definition at line 936 of file tree.c.

References SCIP_Tree::focusnode, SCIP_Stat::ncreatednodes, SCIP_Stat::ncreatednodesrun, nodeAssignParent(), nodeCreate(), NULL, SCIP_Tree::path, SCIP_Tree::pathlen, SCIP_CALL, SCIP_NODETYPE_CHILD, SCIP_NODETYPE_FOCUSNODE, SCIP_OKAY, SCIPdebugMessage, SCIPnodeGetNumber(), SCIPnodeGetType(), SCIPnodeSetEstimate(), SCIPtreeIsPathComplete(), SCIPvbcNewChild(), and SCIP_Stat::vbc.

Referenced by SCIPcreateChild(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCreateRoot(), and solveNode().

SCIP_RETCODE SCIPnodeCaptureLPIState ( SCIP_NODE node,
int  nuses 
)

increases the reference counter of the LP state in the fork or subroot node

Parameters
nodefork/subroot node
nusesnumber to add to the usage counter

Definition at line 233 of file tree.c.

References SCIP_Node::data, SCIP_Node::fork, forkCaptureLPIState(), SCIP_Fork::nlpistateref, SCIP_Subroot::nlpistateref, NULL, SCIP_INVALIDDATA, SCIP_NODETYPE_FORK, SCIP_NODETYPE_SUBROOT, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPnodeGetDepth(), SCIPnodeGetNumber(), SCIPnodeGetType(), SCIP_Node::subroot, and subrootCaptureLPIState().

Referenced by junctionInit(), and pseudoforkCreate().

SCIP_RETCODE SCIPnodeReleaseLPIState ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_LP lp 
)
SCIP_RETCODE SCIPnodeFocus ( SCIP_NODE **  node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_PRIMAL primal,
SCIP_TREE tree,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_CONFLICT conflict,
SCIP_EVENTFILTER eventfilter,
SCIP_EVENTQUEUE eventqueue,
SCIP_Bool cutoff,
SCIP_Bool  exitsolve 
)

installs a child, a sibling, or a leaf node as the new focus node

Parameters
nodepointer to node to focus (or NULL to remove focus); the node is freed, if it was cut off due to a cut off subtree
blkmemblock memory buffers
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics
transprobtransformed problem
origproboriginal problem
primalprimal data
treebranch and bound tree
lpcurrent LP data
branchcandbranching candidate storage
conflictconflict analysis data
eventfilterevent filter for global (not variable dependent) events
eventqueueevent queue
cutoffpointer to store whether the given node can be cut off
exitsolveare we in exitsolve stage, so we only need to loose the children

Definition at line 4011 of file tree.c.

References SCIP_Node::active, SCIP_Tree::appliedeffectiverootdepth, SCIP_Tree::children, SCIP_Node::conssetchg, SCIP_Tree::correctlpdepth, SCIP_Primal::cutoffbound, SCIP_Tree::cutoffdepth, SCIP_Node::depth, SCIP_Node::domchg, SCIP_Tree::effectiverootdepth, FALSE, SCIP_Tree::focuslpconstructed, SCIP_Tree::focuslpfork, SCIP_Tree::focuslpstatefork, SCIP_Tree::focuslpstateforklpcount, SCIP_Tree::focusnode, SCIP_Tree::focusnodehaslp, focusnodeToDeadend(), focusnodeToFork(), focusnodeToJunction(), focusnodeToPseudofork(), SCIP_Tree::focussubroot, SCIP_Lp::isrelax, SCIP_Tree::leaves, SCIP_Stat::lpcount, MIN, SCIP_Stat::nbacktracks, SCIP_Tree::nchildren, SCIP_Tree::nsiblings, NULL, SCIP_Tree::path, SCIP_Tree::pathlen, SCIP_Tree::pathnlpcols, SCIP_Tree::pathnlprows, SCIP_Stat::plungedepth, SCIP_Lp::resolvelperror, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_NODETYPE_CHILD, SCIP_NODETYPE_DEADEND, SCIP_NODETYPE_FOCUSNODE, SCIP_NODETYPE_FORK, SCIP_NODETYPE_LEAF, SCIP_NODETYPE_PSEUDOFORK, SCIP_NODETYPE_SIBLING, SCIP_NODETYPE_SUBROOT, SCIP_OKAY, SCIP_REAL_MIN, SCIPconssetchgMakeGlobal(), SCIPdebugMessage, SCIPdomchgApplyGlobal(), SCIPerrorMessage, SCIPlpGetNCols(), SCIPlpGetNNewcols(), SCIPlpGetNNewrows(), SCIPlpGetNRows(), SCIPlpMarkSize(), SCIPnodeCutoff(), SCIPnodeFree(), SCIPnodeGetDepth(), SCIPnodeGetNumber(), SCIPnodeGetType(), SCIPnodepqCompare(), SCIPnodepqRemove(), SCIPtreeGetBestLeaf(), SCIPtreeIsPathComplete(), SCIPtreeProbing(), SCIP_Tree::siblings, treeChildrenToSiblings(), treeFindSwitchForks(), treeNodesToQueue(), treeRemoveChild(), treeRemoveSibling(), treeSwitchPath(), and TRUE.

Referenced by freeSolve(), SCIPsolveCIP(), SCIPtreeCreatePresolvingRoot(), and SCIPtreeFreePresolvingRoot().

void SCIPnodeCutoff ( SCIP_NODE node,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree 
)
void SCIPnodePropagateAgain ( SCIP_NODE node,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree 
)

marks node, that propagation should be applied again the next time, a node of its subtree is focused

Parameters
nodenode that should be propagated again
setglobal SCIP settings
statproblem statistics
treebranch and bound tree

Definition at line 1129 of file tree.c.

References SCIP_Node::active, SCIP_Node::depth, MIN, NULL, SCIP_Node::reprop, SCIP_Tree::repropdepth, SCIPdebugMessage, SCIPnodeGetDepth(), SCIPnodeGetNumber(), SCIPvbcMarkedRepropagateNode(), TRUE, and SCIP_Stat::vbc.

Referenced by SCIPconflictFlushConss(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), and SCIPrepropagateNode().

void SCIPnodeMarkPropagated ( SCIP_NODE node,
SCIP_TREE tree 
)

marks node, that it is completely propagated in the current repropagation subtree level

Parameters
nodenode that should be marked to be propagated
treebranch and bound tree

Definition at line 1155 of file tree.c.

References SCIP_Node::active, SCIP_Node::depth, FALSE, NULL, SCIP_Node::parent, SCIP_Tree::path, SCIP_Tree::pathlen, SCIP_Node::reprop, SCIP_Tree::repropdepth, and SCIP_Node::repropsubtreemark.

Referenced by propagateDomains().

SCIP_RETCODE SCIPnodeAddCons ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_CONS cons 
)

adds constraint locally to the node and captures it; activates constraint, if node is active; if a local constraint is added to the root node, it is automatically upgraded into a global constraint

Parameters
nodenode to add constraint to
blkmemblock memory
setglobal SCIP settings
statproblem statistics
treebranch and bound tree
consconstraint to add

Definition at line 1484 of file tree.c.

References SCIP_Node::active, SCIP_ConsSetChg::addedconss, SCIP_Node::conssetchg, SCIP_Node::depth, SCIP_Tree::effectiverootdepth, NULL, SCIP_Tree::root, SCIP_Cons::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_NODETYPE_FOCUSNODE, SCIP_OKAY, SCIPconsIsActive(), SCIPconsIsGlobal(), SCIPconssetchgAddAddedCons(), SCIPerrorMessage, SCIPnodeGetDepth(), SCIPnodeGetType(), and SCIP_Cons::validdepth.

Referenced by SCIPaddCons(), and SCIPaddConsNode().

SCIP_RETCODE SCIPnodeDelCons ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_CONS cons 
)

locally deletes constraint at the given node by disabling its separation, enforcing, and propagation capabilities at the node; captures constraint; disables constraint, if node is active

Parameters
nodenode to add constraint to
blkmemblock memory
setglobal SCIP settings
statproblem statistics
treebranch and bound tree
consconstraint to locally delete

Definition at line 1523 of file tree.c.

References SCIP_Node::active, SCIP_Node::conssetchg, SCIP_Node::depth, SCIP_ConsSetChg::disabledconss, SCIP_Cons::enabled, SCIP_Cons::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsDisable(), SCIPconssetchgAddDisabledCons(), SCIPdebugMessage, and SCIP_Cons::updatedisable.

Referenced by SCIPdelConsLocal(), and SCIPdelConsNode().

SCIP_RETCODE SCIPnodeAddBoundinfer ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_TREE tree,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  newbound,
SCIP_BOUNDTYPE  boundtype,
SCIP_CONS infercons,
SCIP_PROP inferprop,
int  inferinfo,
SCIP_Bool  probingchange 
)

adds bound change with inference information to focus node, child of focus node, or probing node; if possible, adjusts bound to integral value; at most one of infercons and inferprop may be non-NULL

Parameters
nodenode to add bound change to
blkmemblock memory
setglobal SCIP settings
statproblem statistics
transprobtransformed problem after presolve
origproboriginal problem
treebranch and bound tree
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
varvariable to change the bounds for
newboundnew value for bound
boundtypetype of bound: lower or upper bound
inferconsconstraint that deduced the bound change, or NULL
inferproppropagator that deduced the bound change, or NULL
inferinfouser information for inference to help resolving the conflict
probingchangeis the bound change a temporary setting due to probing?

Definition at line 1641 of file tree.c.

References SCIP_Node::active, SCIP_DomChgDyn::boundchgs, SCIP_Node::depth, SCIP_Node::domchg, SCIP_DomChg::domchgdyn, SCIP_DomChgDyn::domchgtype, SCIP_Tree::effectiverootdepth, SCIP_Tree::focuslpstateforklpcount, SCIP_Tree::focusnode, SCIP_Stat::lpcount, MAX, MIN, SCIP_Stat::nboundchgs, SCIP_DomChgDyn::nboundchgs, SCIP_BoundChg::newbound, SCIP_Node::nodetype, SCIP_Stat::nprobboundchgs, NULL, SCIP_Tree::path, SCIP_Tree::probingroot, SCIP_Tree::root, SCIP_Bool, SCIP_BOUNDCHGTYPE_BRANCHING, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_DOMCHGTYPE_DYNAMIC, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_NODETYPE_CHILD, SCIP_NODETYPE_FOCUSNODE, SCIP_NODETYPE_PROBINGNODE, SCIP_NODETYPE_REFOCUSNODE, SCIP_OKAY, SCIP_Real, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIPABORT, SCIPboundchgApply(), SCIPconsGetName(), SCIPdebugCheckInference, SCIPdebugMessage, SCIPdomchgAddBoundchg(), SCIPerrorMessage, SCIPlpGetModifiedProvedPseudoObjval(), SCIPlpGetModifiedPseudoObjval(), SCIPnodeCutoff(), SCIPnodeGetDepth(), SCIPnodeGetType(), SCIPnodePropagateAgain(), SCIPnodeUpdateLowerbound(), SCIPpropGetName(), SCIPsetIsFeasGE(), SCIPsetIsFeasLE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPtreeGetCurrentNode(), SCIPtreeHasCurrentNodeLP(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarChgBdGlobal(), SCIPvarGetConflictingBdchgDepth(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetLPSol(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), treeAddPendingBdchg(), and SCIP_BoundChg::var.

Referenced by SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPnodeAddBoundchg(), SCIPnodePropagateImplics(), and treeApplyPendingBdchgs().

SCIP_RETCODE SCIPnodeAddBoundchg ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_TREE tree,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  newbound,
SCIP_BOUNDTYPE  boundtype,
SCIP_Bool  probingchange 
)

adds bound change to focus node, or child of focus node, or probing node; if possible, adjusts bound to integral value

Parameters
nodenode to add bound change to
blkmemblock memory
setglobal SCIP settings
statproblem statistics
transprobtransformed problem after presolve
origproboriginal problem
treebranch and bound tree
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
varvariable to change the bounds for
newboundnew value for bound
boundtypetype of bound: lower or upper bound
probingchangeis the bound change a temporary setting due to probing?

Definition at line 1892 of file tree.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPnodeAddBoundinfer().

Referenced by applyImplic(), conflictAddConflictCons(), focusnodeCleanupVars(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPfixVarProbing(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPshrinkDisjunctiveVarSet(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarFixBinary(), sepastoreApplyLb(), sepastoreApplyUb(), and varAddImplic().

SCIP_RETCODE SCIPnodeAddHoleinfer ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  left,
SCIP_Real  right,
SCIP_CONS infercons,
SCIP_PROP inferprop,
int  inferinfo,
SCIP_Bool  probingchange,
SCIP_Bool added 
)

adds hole with inference information to focus node, child of focus node, or probing node; if possible, adjusts bound to integral value; at most one of infercons and inferprop may be non-NULL

Parameters
nodenode to add bound change to
blkmemblock memory
setglobal SCIP settings
statproblem statistics
treebranch and bound tree
eventqueueevent queue
varvariable to change the bounds for
leftleft bound of open interval defining the hole (left,right)
rightright bound of open interval defining the hole (left,right)
inferconsconstraint that deduced the bound change, or NULL
inferproppropagator that deduced the bound change, or NULL
inferinfouser information for inference to help resolving the conflict
probingchangeis the bound change a temporary setting due to probing?
addedpointer to store whether the hole was added, or NULL

Definition at line 1919 of file tree.c.

References SCIP_Node::active, SCIP_Node::depth, SCIP_Tree::effectiverootdepth, FALSE, SCIP_Tree::focusnode, SCIP_Stat::nholechgs, SCIP_Node::nodetype, SCIP_Stat::nprobholechgs, NULL, SCIP_Tree::probingroot, SCIP_Tree::root, SCIP_CALL, SCIP_INVALIDDATA, SCIP_NODETYPE_CHILD, SCIP_NODETYPE_FOCUSNODE, SCIP_NODETYPE_PROBINGNODE, SCIP_NODETYPE_REFOCUSNODE, SCIP_OKAY, SCIP_Real, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIPABORT, SCIPconsGetName(), SCIPdebugMessage, SCIPerrorMessage, SCIPnodeGetDepth(), SCIPnodeGetType(), SCIPnodePropagateAgain(), SCIPpropGetName(), SCIPsetIsEQ(), SCIPsetIsGE(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPvarAddHoleGlobal(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetProbvarHole(), SCIPvarGetStatus(), and SCIPvarGetUbLocal().

Referenced by SCIPnodeAddHolechg().

SCIP_RETCODE SCIPnodeAddHolechg ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  left,
SCIP_Real  right,
SCIP_Bool  probingchange,
SCIP_Bool added 
)

adds hole change to focus node, or child of focus node

Parameters
nodenode to add bound change to
blkmemblock memory
setglobal SCIP settings
statproblem statistics
treebranch and bound tree
eventqueueevent queue
varvariable to change the bounds for
leftleft bound of open interval defining the hole (left,right)
rightright bound of open interval defining the hole (left,right)
probingchangeis the bound change a temporary setting due to probing?
addedpointer to store whether the hole was added, or NULL

Definition at line 2042 of file tree.c.

References SCIP_Node::depth, SCIP_Node::nodetype, NULL, SCIP_CALL, SCIP_NODETYPE_CHILD, SCIP_NODETYPE_FOCUSNODE, SCIP_NODETYPE_PROBINGNODE, SCIP_OKAY, SCIPdebugMessage, SCIPnodeAddHoleinfer(), and SCIPvarGetName().

void SCIPnodeUpdateLowerbound ( SCIP_NODE node,
SCIP_STAT stat,
SCIP_SET set,
SCIP_TREE tree,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_Real  newbound 
)

if given value is larger than the node's lower bound, sets the node's lower bound to the new value

Parameters
nodenode to update lower bound for
statproblem statistics
setglobal SCIP settings
treebranch and bound tree
transprobtransformed problem after presolve
origproboriginal problem
newboundnew lower bound for the node (if it's larger than the old one)

Definition at line 2168 of file tree.c.

References SCIP_Node::depth, SCIP_Node::estimate, SCIP_Stat::lastlowerbound, SCIP_Node::lowerbound, MAX, NULL, SCIP_Stat::rootlowerbound, SCIP_Real, SCIPsetInfinity(), SCIPsetIsEQ(), SCIPstatUpdatePrimalDualIntegral(), and SCIPtreeGetLowerbound().

Referenced by applyBounding(), initSolve(), priceAndCutLoop(), SCIPnodeAddBoundinfer(), SCIPnodeUpdateLowerboundLP(), SCIPpriceLoop(), SCIPupdateNodeLowerbound(), solveNode(), and solveNodeRelax().

SCIP_RETCODE SCIPnodeUpdateLowerboundLP ( SCIP_NODE node,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_LP lp 
)

updates lower bound of node using lower bound of LP

Parameters
nodenode to set lower bound for
setglobal SCIP settings
statproblem statistics
treebranch and bound tree
transprobtransformed problem after presolve
origproboriginal problem
lpLP data

Definition at line 2208 of file tree.c.

References SCIP_Lp::flushed, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_ITERLIMIT, SCIP_LPSOLSTAT_TIMELIMIT, SCIP_OKAY, SCIP_Real, SCIPlpGetObjval(), SCIPlpGetProvedLowerbound(), and SCIPnodeUpdateLowerbound().

Referenced by priceAndCutLoop(), propAndSolve(), SCIPendDive(), SCIPtreeEndProbing(), and solveNodeInitialLP().

void SCIPchildChgNodeselPrio ( SCIP_TREE tree,
SCIP_NODE child,
SCIP_Real  priority 
)

change the node selection priority of the given child

Parameters
treebranch and bound tree
childchild to update the node selection priority
prioritynode selection priority value

Definition at line 2242 of file tree.c.

References SCIP_Child::arraypos, SCIP_Node::child, SCIP_Tree::childrenprio, SCIP_Node::data, SCIP_NODETYPE_CHILD, and SCIPnodeGetType().

Referenced by SCIPchgChildPrio().

void SCIPnodeSetEstimate ( SCIP_NODE node,
SCIP_SET set,
SCIP_Real  newestimate 
)

sets the node's estimated bound to the new value

Parameters
nodenode to update lower bound for
setglobal SCIP settings
newestimatenew estimated bound for the node

Definition at line 2260 of file tree.c.

References SCIP_Node::estimate, SCIP_Node::lowerbound, NULL, and SCIPsetIsRelGE().

Referenced by SCIPnodeCreateChild(), and updateEstimate().

SCIP_RETCODE SCIPnodePropagateImplics ( SCIP_NODE node,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_TREE tree,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_Bool cutoff 
)

propagates implications of binary fixings at the given node triggered by the implication graph and the clique table

Parameters
nodenode to propagate implications on
blkmemblock memory
setglobal SCIP settings
statproblem statistics
transprobtransformed problem after presolve
origproboriginal problem
treebranch and bound tree
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
cutoffpointer to store whether the node can be cut off

Definition at line 2274 of file tree.c.

References SCIP_Node::domchg, FALSE, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_NODETYPE_FOCUSNODE, SCIP_NODETYPE_PROBINGNODE, SCIP_NODETYPE_REFOCUSNODE, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPboundchgGetBoundtype(), SCIPboundchgGetVar(), SCIPboundchgIsRedundant(), SCIPcliqueGetNVars(), SCIPcliqueGetValues(), SCIPcliqueGetVars(), SCIPdebugMessage, SCIPdomchgGetBoundchg(), SCIPdomchgGetNBoundchgs(), SCIPnodeAddBoundinfer(), SCIPnodeGetDepth(), SCIPnodeGetNumber(), SCIPnodeGetType(), SCIPnodeIsActive(), SCIPsetIsFeasGE(), SCIPsetIsFeasGT(), SCIPsetIsFeasLE(), SCIPsetIsFeasLT(), SCIPvarGetCliques(), SCIPvarGetImplBounds(), SCIPvarGetImplTypes(), SCIPvarGetImplVars(), SCIPvarGetLbLocal(), SCIPvarGetNCliques(), SCIPvarGetNImpls(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), SCIPvarIsBinary(), and TRUE.

Referenced by SCIPpropagateProbingImplications().

SCIP_RETCODE SCIPtreeCreate ( SCIP_TREE **  tree,
SCIP_SET set,
SCIP_NODESEL nodesel 
)

creates an initialized tree data structure

Parameters
treepointer to tree data structure
setglobal SCIP settings
nodeselnode selector to use for sorting leaves in the priority queue

Definition at line 4411 of file tree.c.

References BMSallocMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPnodepqCreate(), and TRUE.

Referenced by SCIPtransformProb().

SCIP_RETCODE SCIPtreeFree ( SCIP_TREE **  tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp 
)

frees tree data structure

Parameters
treepointer to tree data structure
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
lpcurrent LP data

Definition at line 4473 of file tree.c.

References BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPnodepqFree(), and SCIPtreeProbing().

Referenced by freeTransform().

SCIP_RETCODE SCIPtreeCreateRoot ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp 
)

creates the root node of the tree and puts it into the leaves queue

Parameters
treetree data structure
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
lpcurrent LP data

Definition at line 4570 of file tree.c.

References SCIP_Node::active, SCIP_Tree::children, SCIP_Node::cutoff, SCIP_Node::depth, SCIP_Tree::focusnode, MAXDEPTH, MAXREPROPMARK, SCIP_Tree::nchildren, SCIP_Node::nodetype, SCIP_Tree::nsiblings, NULL, SCIP_Node::reprop, SCIP_Node::repropsubtreemark, SCIP_Tree::root, SCIP_CALL, SCIP_NODETYPE_CHILD, SCIP_OKAY, SCIPnodeCreateChild(), SCIPsetInfinity(), SCIPtreeProbing(), and treeNodesToQueue().

Referenced by initSolve(), and SCIPtreeCreatePresolvingRoot().

SCIP_RETCODE SCIPtreeCreatePresolvingRoot ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_PRIMAL primal,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_CONFLICT conflict,
SCIP_EVENTFILTER eventfilter,
SCIP_EVENTQUEUE eventqueue 
)

creates a temporary presolving root node of the tree and installs it as focus node

Parameters
treetree data structure
blkmemblock memory buffers
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics
transprobtransformed problem
origproboriginal problem
primalprimal data
lpcurrent LP data
branchcandbranching candidate storage
conflictconflict analysis data
eventfilterevent filter for global (not variable dependent) events
eventqueueevent queue

Definition at line 4614 of file tree.c.

References FALSE, SCIP_Tree::focusnode, SCIP_Tree::nchildren, SCIP_Tree::nsiblings, NULL, SCIP_Tree::root, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPnodeFocus(), SCIPtreeCreateRoot(), and SCIPtreeProbing().

Referenced by initPresolve().

SCIP_RETCODE SCIPtreeFreePresolvingRoot ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_PRIMAL primal,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_CONFLICT conflict,
SCIP_EVENTFILTER eventfilter,
SCIP_EVENTQUEUE eventqueue 
)

frees the temporary presolving root and resets tree data structure

Parameters
treetree data structure
blkmemblock memory buffers
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics
transprobtransformed problem
origproboriginal problem
primalprimal data
lpcurrent LP data
branchcandbranching candidate storage
conflictconflict analysis data
eventfilterevent filter for global (not variable dependent) events
eventqueueevent queue

Definition at line 4652 of file tree.c.

References FALSE, SCIP_Tree::focusnode, NULL, SCIP_Tree::pathlen, SCIP_Tree::root, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPnodeFocus(), and SCIPtreeClear().

Referenced by exitPresolve().

SCIP_NODESEL* SCIPtreeGetNodesel ( SCIP_TREE tree)

returns the node selector associated with the given node priority queue

Parameters
treebranch and bound tree

Definition at line 4692 of file tree.c.

References SCIP_Tree::leaves, NULL, and SCIPnodepqGetNodesel().

SCIP_RETCODE SCIPtreeSetNodesel ( SCIP_TREE tree,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_STAT stat,
SCIP_NODESEL nodesel 
)

sets the node selector used for sorting the nodes in the priority queue, and resorts the queue if necessary

Parameters
treebranch and bound tree
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics
nodeselnode selector to use for sorting the nodes in the queue

Definition at line 4702 of file tree.c.

References SCIP_Tree::leaves, SCIP_Stat::nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_FULL, SCIPmessagePrintVerbInfo(), SCIPnodepqGetNodesel(), SCIPnodepqSetNodesel(), and SCIPnodeselGetName().

Referenced by SCIPsolveCIP().

SCIP_RETCODE SCIPtreeCutoff ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_Real  cutoffbound 
)

cuts off nodes with lower bound not better than given upper bound

cuts off nodes with lower bound not better than given cutoff bound

Parameters
treebranch and bound tree
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
eventqueueevent queue
lpcurrent LP data
cutoffboundcutoff bound: all nodes with lowerbound >= cutoffbound are cut off

Definition at line 4730 of file tree.c.

References SCIP_Tree::children, SCIP_Tree::cutoffdelayed, FALSE, SCIP_Tree::leaves, SCIP_Node::lowerbound, SCIP_Tree::nchildren, SCIP_Tree::nsiblings, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpDiving(), SCIPnodeFree(), SCIPnodeGetDepth(), SCIPnodeGetNumber(), SCIPnodepqBound(), SCIPsetIsGE(), SCIPvbcCutoffNode(), SCIP_Tree::siblings, TRUE, and SCIP_Stat::vbc.

Referenced by primalSetCutoffbound(), SCIPendDive(), and SCIPsolveCIP().

SCIP_RETCODE SCIPtreeLoadLP ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_LP lp,
SCIP_Bool initroot 
)
SCIP_Real SCIPtreeCalcNodeselPriority ( SCIP_TREE tree,
SCIP_SET set,
SCIP_STAT stat,
SCIP_VAR var,
SCIP_BRANCHDIR  branchdir,
SCIP_Real  targetvalue 
)

calculates the node selection priority for moving the given variable's LP value to the given target value; this node selection priority can be given to the SCIPcreateChild() call

Parameters
treebranch and bound tree
setglobal SCIP settings
statdynamic problem statistics
varvariable, of which the branching factor should be applied, or NULL
branchdirtype of branching that was performed: upwards, downwards, or fixed fixed should only be used, when both bounds changed
targetvaluenew value of the variable in the child node

Definition at line 4794 of file tree.c.

References NULL, SCIP_Bool, SCIP_BRANCHDIR_AUTO, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_FIXED, SCIP_BRANCHDIR_UPWARDS, SCIP_Real, SCIPerrorMessage, SCIPsetEpsilon(), SCIPsetInfinity(), SCIPtreeGetCurrentDepth(), SCIPtreeHasFocusNodeLP(), SCIPvarGetAvgInferences(), SCIPvarGetBranchDirection(), SCIPvarGetName(), SCIPvarGetPseudocost(), SCIPvarGetRootSol(), and SCIPvarGetSol().

Referenced by SCIPcalcNodeselPriority(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), and SCIPtreeBranchVarNary().

SCIP_Real SCIPtreeCalcChildEstimate ( SCIP_TREE tree,
SCIP_SET set,
SCIP_STAT stat,
SCIP_VAR var,
SCIP_Real  targetvalue 
)

calculates an estimate for the objective of the best feasible solution contained in the subtree after applying the given branching; this estimate can be given to the SCIPcreateChild() call

Parameters
treebranch and bound tree
setglobal SCIP settings
statdynamic problem statistics
varvariable, of which the branching factor should be applied, or NULL
targetvaluenew value of the variable in the child node

Definition at line 4944 of file tree.c.

References SCIP_Tree::focusnode, MIN, NULL, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIPnodeGetEstimate(), SCIPsetFeasCeil(), SCIPsetFeasFloor(), SCIPtreeHasFocusNodeLP(), SCIPvarGetPseudocost(), SCIPvarGetSol(), and SCIPvarGetType().

Referenced by SCIPcalcChildEstimate(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), and SCIPtreeBranchVarNary().

SCIP_RETCODE SCIPtreeBranchVar ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  val,
SCIP_NODE **  downchild,
SCIP_NODE **  eqchild,
SCIP_NODE **  upchild 
)

branches on a variable x if x is a continuous variable, then two child nodes will be created (x <= x', x >= x') but if the bounds of x are such that their relative difference is smaller than epsilon, the variable is fixed to val (if not SCIP_INVALID) or a well chosen alternative in the current node, i.e., no children are created if x is not a continuous variable, then: if solution value x' is fractional, two child nodes will be created (x <= floor(x'), x >= ceil(x')), if solution value is integral, the x' is equal to lower or upper bound of the branching variable and the bounds of x are finite, then two child nodes will be created (x <= x", x >= x"+1 with x" = floor((lb + ub)/2)), otherwise (up to) three child nodes will be created (x <= x'-1, x == x', x >= x'+1) if solution value is equal to one of the bounds and the other bound is infinite, only two child nodes will be created (the third one would be infeasible anyway)

Parameters
treebranch and bound tree
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
transprobtransformed problem after presolve
origproboriginal problem
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
varvariable to branch on
valvalue to branch on or SCIP_INVALID for branching on current LP/pseudo solution. A branching value is required for branching on continuous variables
downchildpointer to return the left child with variable rounded down, or NULL
eqchildpointer to return the middle child with variable fixed, or NULL
upchildpointer to return the right child with variable rounded up, or NULL

Definition at line 5003 of file tree.c.

References FALSE, SCIP_Tree::focusnode, SCIP_Tree::focusnodehaslp, MAX, MIN, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_FIXED, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARTYPE_CONTINUOUS, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPnodeAddBoundchg(), SCIPnodeCreateChild(), SCIPnodeGetEstimate(), SCIPnodeGetLowerbound(), SCIPrelDiff(), SCIPsetEpsilon(), SCIPsetFeasCeil(), SCIPsetFeasFloor(), SCIPsetIsEQ(), SCIPsetIsFeasEQ(), SCIPsetIsFeasGE(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLT(), SCIPsetIsRelEQ(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPtreeGetCurrentNode(), SCIPvarGetBranchPriority(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetProbvar(), SCIPvarGetProbvarSum(), SCIPvarGetRootSol(), SCIPvarGetSol(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIPvarGetWorstBoundLocal(), SCIPvarIsActive(), SCIPvbcUpdateChild(), and SCIP_Stat::vbc.

Referenced by SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchVar(), SCIPbranchVarVal(), and SCIPtreeBranchVarNary().

SCIP_RETCODE SCIPtreeBranchVarHole ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  left,
SCIP_Real  right,
SCIP_NODE **  downchild,
SCIP_NODE **  upchild 
)

branches a variable x using the given domain hole; two child nodes will be created (x <= left, x >= right)

Parameters
treebranch and bound tree
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
transprobtransformed problem after presolve
origproboriginal problem
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
varvariable to branch on
leftleft side of the domain hole
rightright side of the domain hole
downchildpointer to return the left child with variable rounded down, or NULL
upchildpointer to return the right child with variable rounded up, or NULL

Definition at line 5327 of file tree.c.

References FALSE, SCIP_Tree::focusnode, SCIP_Tree::focusnodehaslp, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARTYPE_CONTINUOUS, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPnodeAddBoundchg(), SCIPnodeCreateChild(), SCIPnodeGetEstimate(), SCIPsetFeasCeil(), SCIPsetFeasFloor(), SCIPsetIsFeasGE(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLE(), SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetProbindex(), SCIPvarGetProbvarHole(), SCIPvarGetSol(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIPvarIsActive(), SCIPvarIsIntegral(), SCIPvbcUpdateChild(), and SCIP_Stat::vbc.

Referenced by SCIPbranchVarHole().

SCIP_RETCODE SCIPtreeBranchVarNary ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_VAR var,
SCIP_Real  val,
int  n,
SCIP_Real  minwidth,
SCIP_Real  widthfactor,
int *  nchildren 
)

n-ary branching on a variable x Branches on variable x such that up to n/2 children are created on each side of the usual branching value. The branching value is selected as in SCIPtreeBranchVar(). If n is 2 or the variables local domain is too small for a branching into n pieces, SCIPtreeBranchVar() is called. The parameters minwidth and widthfactor determine the domain width of the branching variable in the child nodes. If n is odd, one child with domain width 'width' and having the branching value in the middle is created. Otherwise, two children with domain width 'width' and being left and right of the branching value are created. Next further nodes to the left and right are created, where width is multiplied by widthfactor with increasing distance from the first nodes. The initial width is calculated such that n/2 nodes are created to the left and to the right of the branching value. If this value is below minwidth, the initial width is set to minwidth, which may result in creating less than n nodes.

Giving a large value for widthfactor results in creating children with small domain when close to the branching value and large domain when closer to the current variable bounds. That is, setting widthfactor to a very large value and n to 3 results in a ternary branching where the branching variable is mostly fixed in the middle child. Setting widthfactor to 1.0 results in children where the branching variable always has the same domain width (except for one child if the branching value is not in the middle).

Parameters
treebranch and bound tree
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
transprobtransformed problem after presolve
origproboriginal problem
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
varvariable to branch on
valvalue to branch on or SCIP_INVALID for branching on current LP/pseudo solution. A branching value is required for branching on continuous variables
nattempted number of children to be created, must be >= 2
minwidthminimal domain width in children
widthfactormultiplier for children domain width with increasing distance from val, must be >= 1.0
nchildrenbuffer to store number of created children, or NULL

Definition at line 5468 of file tree.c.

References FALSE, SCIP_Tree::focusnode, SCIP_Tree::focusnodehaslp, MAX, MIN, NULL, pow(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_FIXED, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_REAL_MAX, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARTYPE_CONTINUOUS, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPnodeAddBoundchg(), SCIPnodeCreateChild(), SCIPnodeGetEstimate(), SCIPrelDiff(), SCIPsetCeil(), SCIPsetEpsilon(), SCIPsetFloor(), SCIPsetIsFeasGE(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLT(), SCIPsetIsPositive(), SCIPsetIsRelEQ(), SCIPsetIsRelGT(), SCIPsetIsRelLT(), SCIPsetIsZero(), SCIPtreeBranchVar(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetProbindex(), SCIPvarGetProbvar(), SCIPvarGetProbvarSum(), SCIPvarGetSol(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIPvarGetWorstBoundLocal(), SCIPvarIsActive(), SCIPvbcUpdateChild(), and SCIP_Stat::vbc.

Referenced by SCIPbranchVarValNary().

SCIP_RETCODE SCIPtreeCreateProbingNode ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_LP lp 
)

creates a new probing child node in the probing path

Parameters
treebranch and bound tree
blkmemblock memory
setglobal SCIP settings
lpcurrent LP data

Definition at line 5966 of file tree.c.

References SCIP_Tree::pathlen, SCIP_Tree::probingroot, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPnodeGetDepth(), SCIPtreeProbing(), and treeCreateProbingNode().

Referenced by SCIPnewProbingNode().

SCIP_RETCODE SCIPtreeLoadProbingLPState ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp 
)
SCIP_RETCODE SCIPtreeMarkProbingNodeHasLP ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_LP lp 
)

marks the probing node to have a solved LP relaxation

Parameters
treebranch and bound tree
blkmemblock memory
lpcurrent LP data

Definition at line 6058 of file tree.c.

References SCIP_Node::data, NULL, SCIP_Node::probingnode, SCIP_Tree::probingnodehaslp, probingnodeUpdate(), SCIP_CALL, SCIP_NODETYPE_PROBINGNODE, SCIP_OKAY, SCIPnodeGetType(), SCIPtreeGetCurrentNode(), SCIPtreeProbing(), and TRUE.

Referenced by solveProbingLP().

SCIP_RETCODE SCIPtreeBacktrackProbing ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
int  probingdepth 
)

undoes all changes to the problem applied in probing up to the given probing depth; the changes of the probing node of the given probing depth are the last ones that remain active; changes that were applied before calling SCIPtreeCreateProbingNode() cannot be undone

Parameters
treebranch and bound tree
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
transprobtransformed problem
origproboriginal problem
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
eventfilterglobal event filter
probingdepthprobing depth of the node in the probing path that should be reactivated

Definition at line 6192 of file tree.c.

References NULL, SCIP_CALL, SCIP_NODETYPE_PROBINGNODE, SCIP_OKAY, SCIPnodeGetType(), SCIPtreeGetCurrentNode(), SCIPtreeGetProbingDepth(), SCIPtreeProbing(), and treeBacktrackProbing().

Referenced by SCIPbacktrackProbing().

SCIP_RETCODE SCIPtreeEndProbing ( SCIP_TREE tree,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

switches back from probing to normal operation mode, frees all nodes on the probing path, restores bounds of all variables and restores active constraints arrays of focus node

Parameters
treebranch and bound tree
blkmemblock memory buffers
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics
transprobtransformed problem after presolve
origproboriginal problem
lpcurrent LP data
branchcandbranching candidate storage
eventqueueevent queue
eventfilterglobal event filter

Definition at line 6222 of file tree.c.

References SCIP_Lp::dualfeasible, FALSE, SCIP_Lp::flushed, SCIP_Tree::focuslpconstructed, SCIP_Tree::focusnode, SCIP_Tree::focusnodehaslp, SCIP_Lp::lpi, SCIP_Lp::lpsolstat, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, SCIP_Stat::nlps, SCIP_Stat::nnodes, NULL, SCIP_Node::parent, SCIP_Tree::path, SCIP_Tree::pathlen, SCIP_Lp::primalfeasible, SCIP_Tree::probingloadlpistate, SCIP_Tree::probinglpinorms, SCIP_Tree::probinglpistate, SCIP_Tree::probinglpwasdualfeas, SCIP_Tree::probinglpwasflushed, SCIP_Tree::probinglpwasprimfeas, SCIP_Tree::probinglpwasrelax, SCIP_Tree::probinglpwassolved, SCIP_Tree::probingroot, SCIP_Tree::probingsolvedlp, SCIP_Lp::resolvelperror, SCIP_Tree::sbprobing, SCIP_Bool, SCIP_CALL, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_LPSOLSTAT_OBJLIMIT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_NODETYPE_FOCUSNODE, SCIP_NODETYPE_PROBINGNODE, SCIP_NODETYPE_REFOCUSNODE, SCIP_OKAY, SCIP_VERBLEVEL_FULL, SCIPconshdlrsResetPropagationStatus(), SCIPdebugMessage, SCIPlpEndProbing(), SCIPlpFlush(), SCIPlpFreeNorms(), SCIPlpFreeState(), SCIPlpGetSolstat(), SCIPlpiClearState(), SCIPlpIsRelax(), SCIPlpSetIsRelax(), SCIPlpSetNorms(), SCIPlpSetState(), SCIPlpSolveAndEval(), SCIPmessagePrintVerbInfo(), SCIPnodeGetDepth(), SCIPnodeGetType(), SCIPnodeUpdateLowerboundLP(), SCIPtreeGetCurrentNode(), SCIPtreeProbing(), SCIP_Lp::solisbasic, SCIP_Lp::solved, treeBacktrackProbing(), and TRUE.

Referenced by SCIPendProbing().

int SCIPtreeGetNChildren ( SCIP_TREE tree)

gets number of children of the focus node

Parameters
treebranch and bound tree

Definition at line 7037 of file tree.c.

References SCIP_Tree::nchildren, and NULL.

Referenced by SCIPgetOpenNodesData().

int SCIPtreeGetNSiblings ( SCIP_TREE tree)

gets number of siblings of the focus node

Parameters
treebranch and bound tree

Definition at line 7047 of file tree.c.

References SCIP_Tree::nsiblings, and NULL.

Referenced by SCIPgetOpenNodesData().

int SCIPtreeGetNLeaves ( SCIP_TREE tree)

gets number of leaves in the tree (excluding children and siblings of focus nodes)

Parameters
treebranch and bound tree

Definition at line 7057 of file tree.c.

References SCIP_Tree::leaves, NULL, and SCIPnodepqLen().

Referenced by SCIPsolveCIP(), SCIPtreeGetAvgLowerbound(), SCIPtreeGetBestNode(), and SCIPtreeGetNNodes().

int SCIPtreeGetNNodes ( SCIP_TREE tree)

gets number of open nodes in the tree (children + siblings + leaves)

Parameters
treebranch and bound tree

Definition at line 7067 of file tree.c.

References SCIP_Tree::nchildren, SCIP_Tree::nsiblings, NULL, and SCIPtreeGetNLeaves().

Referenced by printTreeStatistics(), SCIPgetNNodesLeft(), SCIPprimalHeuristics(), SCIPsolve(), SCIPsolveCIP(), and solveNode().

SCIP_Bool SCIPtreeIsPathComplete ( SCIP_TREE tree)

returns whether the active path goes completely down to the focus node

Parameters
treebranch and bound tree

Definition at line 7077 of file tree.c.

References SCIP_Node::depth, SCIP_Tree::focusnode, NULL, SCIP_Tree::path, SCIP_Tree::pathlen, and SCIPtreeProbing().

Referenced by forkCreate(), junctionInit(), nodeAssignParent(), probingnodeUpdate(), pseudoforkCreate(), SCIPnodeCreateChild(), SCIPnodeFocus(), SCIPtreeHasCurrentNodeLP(), and treeCreateProbingNode().

SCIP_Bool SCIPtreeProbing ( SCIP_TREE tree)

returns whether the current node is a temporary probing node

Parameters
treebranch and bound tree

Definition at line 7094 of file tree.c.

References SCIP_Node::nodetype, NULL, SCIP_Tree::path, SCIP_Tree::pathlen, SCIP_Tree::probingroot, SCIP_NODETYPE_PROBINGNODE, and SCIPnodeGetDepth().

Referenced by focusnodeCleanupVars(), focusnodeToDeadend(), focusnodeToFork(), focusnodeToJunction(), focusnodeToPseudofork(), nodeActivate(), nodeDeactivate(), nodeReleaseParent(), propAndSolve(), SCIPaggregateVars(), SCIPbacktrackProbing(), SCIPchgVarLbProbing(), SCIPchgVarUbProbing(), SCIPconshdlrInitLP(), SCIPendProbing(), SCIPendStrongbranch(), SCIPfixVarProbing(), SCIPgetProbingDepth(), SCIPgetVarStrongbranchFrac(), SCIPinProbing(), SCIPmultiaggregateVar(), SCIPnewProbingNode(), SCIPnodeFocus(), SCIPnodeFree(), SCIPprimalHeuristics(), SCIPpropagateProbing(), SCIPpropagateProbingImplications(), SCIPstartDive(), SCIPstartProbing(), SCIPstartStrongbranch(), SCIPtreeBacktrackProbing(), SCIPtreeClear(), SCIPtreeCreatePresolvingRoot(), SCIPtreeCreateProbingNode(), SCIPtreeCreateRoot(), SCIPtreeEndProbing(), SCIPtreeFree(), SCIPtreeGetCurrentDepth(), SCIPtreeGetCurrentNode(), SCIPtreeGetFocusDepth(), SCIPtreeGetFocusNode(), SCIPtreeGetProbingDepth(), SCIPtreeHasCurrentNodeLP(), SCIPtreeIsPathComplete(), SCIPtreeLoadLP(), SCIPtreeLoadLPState(), SCIPtreeLoadProbingLPState(), SCIPtreeMarkProbingNodeHasLP(), SCIPtreeStartProbing(), solveProbingLP(), treeBacktrackProbing(), treeCheckPath(), treeCreateProbingNode(), and treeUpdatePathLPSize().

SCIP_NODE* SCIPtreeGetProbingRoot ( SCIP_TREE tree)

returns the temporary probing root node, or NULL if the we are not in probing mode

Parameters
treebranch and bound tree

Definition at line 7107 of file tree.c.

References SCIP_Node::nodetype, NULL, SCIP_Tree::path, SCIP_Tree::pathlen, SCIP_Tree::probingroot, SCIP_NODETYPE_PROBINGNODE, and SCIPnodeGetDepth().

int SCIPtreeGetProbingDepth ( SCIP_TREE tree)

returns the current probing depth, i.e. the number of probing sub nodes existing in the probing path

Parameters
treebranch and bound tree

Definition at line 7240 of file tree.c.

References NULL, SCIP_Tree::probingroot, SCIPnodeGetDepth(), SCIPtreeGetCurrentDepth(), and SCIPtreeProbing().

Referenced by SCIPbacktrackProbing(), SCIPgetProbingDepth(), SCIPtreeBacktrackProbing(), and treeBacktrackProbing().

int SCIPtreeGetFocusDepth ( SCIP_TREE tree)

gets depth of focus node in the tree, or -1 if no focus node exists

gets depth of focus node in the tree

Parameters
treebranch and bound tree

Definition at line 7137 of file tree.c.

References SCIP_Node::depth, SCIP_Tree::focusnode, NULL, SCIP_Tree::path, SCIP_Tree::pathlen, and SCIPtreeProbing().

Referenced by conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), SCIPconflictFlushConss(), SCIPgetFocusDepth(), and SCIPprimalHeuristics().

SCIP_Bool SCIPtreeHasFocusNodeLP ( SCIP_TREE tree)

returns, whether the LP was or is to be solved in the focus node

Parameters
treebranch and bound tree

Definition at line 7154 of file tree.c.

References SCIP_Tree::focusnodehaslp, and NULL.

Referenced by addCurrentSolution(), enforceConstraints(), propAndSolve(), SCIPprimalHeuristics(), SCIPsolveCIP(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPtreeHasCurrentNodeLP(), solveNode(), solveNodeLP(), and updateEstimate().

void SCIPtreeSetFocusNodeLP ( SCIP_TREE tree,
SCIP_Bool  solvelp 
)

sets mark to solve or to ignore the LP while processing the focus node

Parameters
treebranch and bound tree
solvelpshould the LP be solved in focus node?

Definition at line 7164 of file tree.c.

References SCIP_Tree::focusnodehaslp, and NULL.

Referenced by enforceConstraints(), propAndSolve(), and solveNode().

SCIP_Bool SCIPtreeIsFocusNodeLPConstructed ( SCIP_TREE tree)

returns whether the LP of the focus node is already constructed

Parameters
treebranch and bound tree

Definition at line 7175 of file tree.c.

References SCIP_Tree::focuslpconstructed, and NULL.

Referenced by SCIPconstructCurrentLP(), SCIPendDive(), SCIPgetLPCols(), SCIPgetLPColsData(), SCIPgetLPRows(), SCIPgetLPRowsData(), SCIPgetLPSolstat(), SCIPgetNLPCols(), SCIPgetNLPRows(), SCIPisLPConstructed(), SCIPpricestoreApplyVars(), SCIPstartDive(), SCIPwriteLP(), and solveProbingLP().

SCIP_Bool SCIPtreeInRepropagation ( SCIP_TREE tree)

returns whether the focus node is already solved and only propagated again

Parameters
treebranch and bound tree

Definition at line 7185 of file tree.c.

References SCIP_Tree::focusnode, NULL, SCIP_NODETYPE_REFOCUSNODE, and SCIPnodeGetType().

Referenced by primalAddSol(), primalSetCutoffbound(), and SCIPinRepropagation().

int SCIPtreeGetCurrentDepth ( SCIP_TREE tree)

gets depth of current node in the tree, i.e. the length of the active path minus 1, or -1 if no current node exists

Parameters
treebranch and bound tree

Definition at line 7212 of file tree.c.

References SCIP_Node::depth, SCIP_Tree::focusnode, NULL, SCIP_Tree::path, SCIP_Tree::pathlen, and SCIPtreeProbing().

Referenced by addBoundViolated(), analyzeStrongbranch(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), conflictCreateReconvergenceConss(), conflictsetCalcInsertDepth(), priceAndCutLoop(), primalSetUpperbound(), propagationRound(), propAndSolve(), SCIPaddCons(), SCIPaddCut(), SCIPaddPricedVar(), SCIPaggregateVars(), SCIPbranchruleExecExternSol(), SCIPbranchruleExecLPSol(), SCIPbranchruleExecPseudoSol(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPconflictAnalyze(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictFlushConss(), SCIPconshdlrInitLP(), SCIPfixVar(), SCIPgetDepth(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisCutEfficacious(), SCIPisEfficacious(), SCIPmultiaggregateVar(), SCIPpricestoreAddProbVars(), SCIPpricestoreApplyVars(), SCIPprimalHeuristics(), SCIPremoveInefficaciousCuts(), SCIPseparateCutpool(), SCIPseparateSol(), SCIPseparateSolCutpool(), SCIPsolveCIP(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeCalcNodeselPriority(), SCIPtreeGetProbingDepth(), solStamp(), solveNodeLP(), and solveProbingLP().

int SCIPtreeGetEffectiveRootDepth ( SCIP_TREE tree)

returns the depth of the effective root node (i.e. the first depth level of a node with at least two children)

Parameters
treebranch and bound tree

Definition at line 7251 of file tree.c.

References SCIP_Tree::effectiverootdepth, and NULL.

Referenced by SCIPaddCons(), SCIPaddConsNode(), SCIPdelConsLocal(), and SCIPdelConsNode().

SCIP_NODE* SCIPtreeGetRootNode ( SCIP_TREE tree)

gets the root node of the tree

Parameters
treebranch and bound tree

Definition at line 7262 of file tree.c.

References NULL, and SCIP_Tree::root.

Referenced by applyImplic(), initSolve(), SCIPgetRootNode(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarFixBinary(), sepastoreApplyLb(), sepastoreApplyUb(), and varAddImplic().

SCIP_NODE* SCIPtreeGetPrioChild ( SCIP_TREE tree)

gets the best child of the focus node w.r.t. the node selection priority assigned by the branching rule

Parameters
treebranch and bound tree

Definition at line 6364 of file tree.c.

References SCIP_Tree::children, SCIP_Tree::childrenprio, SCIP_Tree::nchildren, NULL, SCIP_Real, and SCIP_REAL_MIN.

Referenced by SCIPgetPrioChild().

SCIP_NODE* SCIPtreeGetPrioSibling ( SCIP_TREE tree)

gets the best sibling of the focus node w.r.t. the node selection priority assigned by the branching rule

Parameters
treebranch and bound tree

Definition at line 6390 of file tree.c.

References SCIP_Tree::nsiblings, NULL, SCIP_Real, SCIP_REAL_MIN, SCIP_Tree::siblings, and SCIP_Tree::siblingsprio.

Referenced by SCIPgetPrioSibling().

SCIP_NODE* SCIPtreeGetBestChild ( SCIP_TREE tree,
SCIP_SET set 
)

gets the best child of the focus node w.r.t. the node selection strategy

Parameters
treebranch and bound tree
setglobal SCIP settings

Definition at line 6416 of file tree.c.

References SCIP_Tree::children, SCIP_Tree::leaves, SCIP_Tree::nchildren, NULL, SCIPnodepqGetNodesel(), and SCIPnodeselCompare().

Referenced by SCIPgetBestChild(), and SCIPtreeGetBestNode().

SCIP_NODE* SCIPtreeGetBestSibling ( SCIP_TREE tree,
SCIP_SET set 
)

gets the best sibling of the focus node w.r.t. the node selection strategy

Parameters
treebranch and bound tree
setglobal SCIP settings

Definition at line 6443 of file tree.c.

References SCIP_Tree::leaves, SCIP_Tree::nsiblings, NULL, SCIPnodepqGetNodesel(), SCIPnodeselCompare(), and SCIP_Tree::siblings.

Referenced by SCIPgetBestSibling(), and SCIPtreeGetBestNode().

SCIP_NODE* SCIPtreeGetBestLeaf ( SCIP_TREE tree)

gets the best leaf from the node queue w.r.t. the node selection strategy

Parameters
treebranch and bound tree

Definition at line 6470 of file tree.c.

References SCIP_Tree::leaves, NULL, and SCIPnodepqFirst().

Referenced by SCIPgetBestLeaf(), SCIPnodeFocus(), and SCIPtreeGetBestNode().

SCIP_NODE* SCIPtreeGetBestNode ( SCIP_TREE tree,
SCIP_SET set 
)

gets the best node from the tree (child, sibling, or leaf) w.r.t. the node selection strategy

Parameters
treebranch and bound tree
setglobal SCIP settings

Definition at line 6480 of file tree.c.

References SCIP_Tree::leaves, NULL, SCIPnodepqGetNodesel(), SCIPnodeselCompare(), SCIPtreeGetBestChild(), SCIPtreeGetBestLeaf(), SCIPtreeGetBestSibling(), and SCIPtreeGetNLeaves().

Referenced by SCIPgetBestNode().

SCIP_Real SCIPtreeGetLowerbound ( SCIP_TREE tree,
SCIP_SET set 
)
SCIP_NODE* SCIPtreeGetLowerboundNode ( SCIP_TREE tree,
SCIP_SET set 
)

gets the node with minimal lower bound of all nodes in the tree (child, sibling, or leaf)

Parameters
treebranch and bound tree
setglobal SCIP settings

Definition at line 6552 of file tree.c.

References SCIP_Tree::children, SCIP_Tree::childrenprio, SCIP_Tree::leaves, SCIP_Node::lowerbound, SCIP_Tree::nchildren, SCIP_Tree::nsiblings, NULL, SCIP_Real, SCIPnodepqGetLowerboundNode(), SCIPsetInfinity(), SCIPsetIsLE(), SCIPsetIsLT(), SCIP_Tree::siblings, and SCIP_Tree::siblingsprio.

Referenced by SCIPgetBestboundNode().

SCIP_Real SCIPtreeGetAvgLowerbound ( SCIP_TREE tree,
SCIP_Real  cutoffbound 
)

gets the average lower bound of all nodes in the tree

Parameters
treebranch and bound tree
cutoffboundglobal cutoff bound

Definition at line 6604 of file tree.c.

References SCIP_Tree::children, SCIP_Tree::focusnode, SCIP_Tree::leaves, SCIP_Node::lowerbound, SCIP_Tree::nchildren, SCIP_Tree::nsiblings, NULL, SCIP_Real, SCIPnodepqGetLowerboundSum(), SCIPtreeGetNLeaves(), and SCIP_Tree::siblings.

Referenced by SCIPgetAvgDualbound(), and SCIPgetAvgLowerbound().