Detailed Description

public methods for branch and bound tree

Author: Tobias Achterberg

Definition in file pub_tree.h.

#include "scip/def.h"
#include "scip/type_misc.h"
#include "scip/type_tree.h"

Functions
	SCIP_DECL_SORTPTRCOMP (SCIPnodeCompLowerbound)

void	SCIPnodeGetParentBranchings (SCIP_NODE node, SCIP_VAR branchvars, SCIP_Real branchbounds, SCIP_BOUNDTYPE boundtypes, int nbranchvars, int branchvarssize)

void	SCIPnodeGetAncestorBranchings (SCIP_NODE node, SCIP_VAR branchvars, SCIP_Real branchbounds, SCIP_BOUNDTYPE boundtypes, int nbranchvars, int branchvarssize)

SCIP_RETCODE	SCIPnodePrintAncestorBranchings (SCIP_NODE node, FILE file)

void	SCIPnodeGetAncestorBranchingPath (SCIP_NODE node, SCIP_VAR branchvars, SCIP_Real branchbounds, SCIP_BOUNDTYPE boundtypes, int nbranchvars, int branchvarssize, int nodeswitches, int nnodes, int nodeswitchsize)

SCIP_Bool	SCIPnodesSharePath (SCIP_NODE node1, SCIP_NODE node2)

SCIP_NODE *	SCIPnodesGetCommonAncestor (SCIP_NODE node1, SCIP_NODE node2)

SCIP_NODETYPE	SCIPnodeGetType (SCIP_NODE *node)

SCIP_Longint	SCIPnodeGetNumber (SCIP_NODE *node)

int	SCIPnodeGetDepth (SCIP_NODE *node)

SCIP_Real	SCIPnodeGetLowerbound (SCIP_NODE *node)

SCIP_Real	SCIPnodeGetEstimate (SCIP_NODE *node)

SCIP_DOMCHG *	SCIPnodeGetDomchg (SCIP_NODE *node)

SCIP_NODE *	SCIPnodeGetParent (SCIP_NODE *node)

SCIP_Bool	SCIPnodeIsActive (SCIP_NODE *node)

SCIP_Bool	SCIPnodeIsPropagatedAgain (SCIP_NODE *node)

Function Documentation

SCIP_DECL_SORTPTRCOMP ( SCIPnodeCompLowerbound )

node comparator for best lower bound

Definition at line 140 of file tree.c.

References NULL.

void SCIPnodeGetParentBranchings	(	SCIP_NODE *	node,
		SCIP_VAR **	branchvars,
		SCIP_Real *	branchbounds,
		SCIP_BOUNDTYPE *	boundtypes,
		int *	nbranchvars,
		int	branchvarssize
	)

returns the set of variable branchings that were performed in the parent node to create this node

Parameters

node	node data
branchvars	array of variables on which the branching has been performed in the parent node
branchbounds	array of bounds which the branching in the parent node set
boundtypes	array of boundtypes which the branching in the parent node set
nbranchvars	number of variables on which branching has been performed in the parent node if this is larger than the array size, arrays should be reallocated and method should be called again
branchvarssize	available slots in arrays

Definition at line 6760 of file tree.c.

References SCIP_DomChgBound::boundchgs, SCIP_Node::domchg, SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, SCIP_BoundChg::newbound, NULL, SCIP_BOUNDCHGTYPE_BRANCHING, SCIPnodeGetDepth(), and SCIP_BoundChg::var.

Referenced by SCIPnodeGetAncestorBranchingPath(), and SCIPnodeGetAncestorBranchings().

void SCIPnodeGetAncestorBranchings	(	SCIP_NODE *	node,
		SCIP_VAR **	branchvars,
		SCIP_Real *	branchbounds,
		SCIP_BOUNDTYPE *	boundtypes,
		int *	nbranchvars,
		int	branchvarssize
	)

returns the set of variable branchings that were performed in all ancestor nodes (nodes on the path to the root) to create this node

Parameters

node	node data
branchvars	array of variables on which the branchings has been performed in all ancestors
branchbounds	array of bounds which the branchings in all ancestors set
boundtypes	array of boundtypes which the branchings in all ancestors set
nbranchvars	number of variables on which branchings have been performed in all ancestors if this is larger than the array size, arrays should be reallocated and method should be called again
branchvarssize	available slots in arrays

Definition at line 6824 of file tree.c.

References NULL, SCIP_Node::parent, SCIPnodeGetDepth(), and SCIPnodeGetParentBranchings().

SCIP_RETCODE SCIPnodePrintAncestorBranchings	(	SCIP_NODE *	node,
		FILE *	file
	)

outputs the path into given file stream in GML format

Parameters

node	node data
file	file to output the path

Definition at line 6861 of file tree.c.

References SCIP_DomChgBound::boundchgs, SCIP_Node::domchg, SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, NULL, SCIP_Node::parent, SCIP_BOUNDCHGTYPE_BRANCHING, SCIP_BOUNDTYPE_LOWER, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPgmlWriteArc(), SCIPgmlWriteClosing(), SCIPgmlWriteNode(), SCIPgmlWriteOpening(), SCIPnodeGetDepth(), SCIPsnprintf(), SCIPvarGetName(), and TRUE.

void SCIPnodeGetAncestorBranchingPath	(	SCIP_NODE *	node,
		SCIP_VAR **	branchvars,
		SCIP_Real *	branchbounds,
		SCIP_BOUNDTYPE *	boundtypes,
		int *	nbranchvars,
		int	branchvarssize,
		int *	nodeswitches,
		int *	nnodes,
		int	nodeswitchsize
	)

returns the set of variable branchings that were performed in all ancestor nodes (nodes on the path to the root) to create this node sorted by the nodes, starting from the current node going up to the root

Parameters

node	node data
branchvars	array of variables on which the branchings has been performed in all ancestors
branchbounds	array of bounds which the branchings in all ancestors set
boundtypes	array of boundtypes which the branchings in all ancestors set
nbranchvars	number of variables on which branchings have been performed in all ancestors if this is larger than the array size, arrays should be reallocated and method should be called again
branchvarssize	available slots in arrays
nodeswitches	marks, where in the arrays the branching decisions of the next node on the path start; branchings performed at the parent of node always start at position 0. For single variable branching, nodeswitches[i] = i holds
nnodes	number of nodes in the nodeswitch array
nodeswitchsize	available slots in node switch array