Detailed Description

binary search tree data structure

Functions
SCIP_RETCODE	SCIPbtnodeCreate (SCIP_BT tree, SCIP_BTNODE node, void dataptr)

void	SCIPbtnodeFree (SCIP_BT tree, SCIP_BTNODE *node)

void *	SCIPbtnodeGetData (SCIP_BTNODE *node)

SCIP_BTNODE *	SCIPbtnodeGetParent (SCIP_BTNODE *node)

SCIP_BTNODE *	SCIPbtnodeGetLeftchild (SCIP_BTNODE *node)

SCIP_BTNODE *	SCIPbtnodeGetRightchild (SCIP_BTNODE *node)

SCIP_BTNODE *	SCIPbtnodeGetSibling (SCIP_BTNODE *node)

SCIP_Bool	SCIPbtnodeIsRoot (SCIP_BTNODE *node)

SCIP_Bool	SCIPbtnodeIsLeaf (SCIP_BTNODE *node)

SCIP_Bool	SCIPbtnodeIsLeftchild (SCIP_BTNODE *node)

SCIP_Bool	SCIPbtnodeIsRightchild (SCIP_BTNODE *node)

void	SCIPbtnodeSetData (SCIP_BTNODE node, void dataptr)

void	SCIPbtnodeSetParent (SCIP_BTNODE node, SCIP_BTNODE parent)

void	SCIPbtnodeSetLeftchild (SCIP_BTNODE node, SCIP_BTNODE left)

void	SCIPbtnodeSetRightchild (SCIP_BTNODE node, SCIP_BTNODE right)

SCIP_RETCODE	SCIPbtCreate (SCIP_BT *tree, BMS_BLKMEM blkmem)

void	SCIPbtFree (SCIP_BT **tree)

void	SCIPbtPrintGml (SCIP_BT tree, FILE file)

SCIP_Bool	SCIPbtIsEmpty (SCIP_BT *tree)

SCIP_BTNODE *	SCIPbtGetRoot (SCIP_BT *tree)

void	SCIPbtSetRoot (SCIP_BT tree, SCIP_BTNODE root)

Function Documentation

◆ SCIPbtnodeCreate()

SCIP_RETCODE SCIPbtnodeCreate	(	SCIP_BT *	tree,
		SCIP_BTNODE **	node,
		void *	dataptr
	)

creates a binary tree node with sorting value and user data

creates a tree node with (optinal) user data

Parameters

tree	binary tree
node	pointer to store the created node
dataptr	user node data pointer, or NULL

Definition at line 8010 of file misc.c.

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

Referenced by checkOverloadViaThetaTree(), insertThetanode(), and SCIPrealHashCode().

◆ SCIPbtnodeFree()

void SCIPbtnodeFree	(	SCIP_BT *	tree,
		SCIP_BTNODE **	node
	)

frees the binary node including the rooted subtree

Note: The user pointer (object) is not freed. If needed, it has to be done by the user.

frees the node including the rooted subtree

Note: The user pointer (object) is not freed. If needed, it has to be done by the user.

Parameters

tree	binary tree
node	node to be freed

Definition at line 8074 of file misc.c.

References btnodeFreeLeaf(), NULL, and SCIPbtnodeFree().

Referenced by deleteLambdaLeaf(), SCIPbtFree(), SCIPbtnodeFree(), and SCIPrealHashCode().

◆ SCIPbtnodeGetData()

void* SCIPbtnodeGetData ( SCIP_BTNODE * node )

returns the user data pointer stored in that node

Parameters

node node

Definition at line 8119 of file misc.c.

References SCIP_BtNode::dataptr, and NULL.

Referenced by analyzeConflictOverload(), checkOverloadViaThetaTree(), collectThetaSubtree(), computeEnergyContribution(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), inferboundsEdgeFinding(), insertThetanode(), moveNodeToLambda(), SCIP_DECL_SORTPTRCOMP(), SCIPrealHashCode(), traceLambdaEnergy(), traceLambdaEnvelop(), traceThetaEnvelop(), updateEnvelop(), and updateKeyOnTrace().

◆ SCIPbtnodeGetParent()

SCIP_BTNODE* SCIPbtnodeGetParent ( SCIP_BTNODE * node )

returns the parent which can be NULL if the given node is the root

Parameters

node node

Definition at line 8129 of file misc.c.

References NULL, and SCIP_BtNode::parent.

Referenced by deleteLambdaLeaf(), insertThetanode(), SCIPbtnodeGetSibling(), SCIPbtnodeIsLeftchild(), SCIPbtnodeIsRightchild(), SCIPrealHashCode(), updateEnvelop(), and updateKeyOnTrace().

◆ SCIPbtnodeGetLeftchild()

SCIP_BTNODE* SCIPbtnodeGetLeftchild ( SCIP_BTNODE * node )

returns left child which can be NULL if the given node is a leaf

Parameters

node node

Definition at line 8139 of file misc.c.

References SCIP_BtNode::left, and NULL.

Referenced by btPrintSubtree(), collectThetaSubtree(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), insertThetanode(), SCIPbtnodeGetSibling(), SCIPbtnodeIsLeftchild(), SCIPrealHashCode(), traceLambdaEnergy(), traceLambdaEnvelop(), traceThetaEnvelop(), and updateEnvelop().

◆ SCIPbtnodeGetRightchild()

SCIP_BTNODE* SCIPbtnodeGetRightchild ( SCIP_BTNODE * node )

returns right child which can be NULL if the given node is a leaf

Parameters

node node

Definition at line 8149 of file misc.c.

References NULL, and SCIP_BtNode::right.

Referenced by btPrintSubtree(), collectThetaSubtree(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), insertThetanode(), SCIPbtnodeGetSibling(), SCIPbtnodeIsRightchild(), SCIPrealHashCode(), traceLambdaEnergy(), traceLambdaEnvelop(), traceThetaEnvelop(), and updateEnvelop().

◆ SCIPbtnodeGetSibling()

SCIP_BTNODE* SCIPbtnodeGetSibling ( SCIP_BTNODE * node )

returns the sibling of the node or NULL if does not exist

Parameters

node node

Definition at line 8159 of file misc.c.

References NULL, SCIPbtnodeGetLeftchild(), SCIPbtnodeGetParent(), and SCIPbtnodeGetRightchild().

Referenced by SCIPrealHashCode().

◆ SCIPbtnodeIsRoot()

SCIP_Bool SCIPbtnodeIsRoot ( SCIP_BTNODE * node )

returns whether the node is a root node

Parameters

node node

Definition at line 8179 of file misc.c.

References NULL, and SCIP_BtNode::parent.

Referenced by deleteLambdaLeaf(), inferboundsEdgeFinding(), SCIPbtnodeIsLeftchild(), SCIPbtnodeIsRightchild(), SCIPrealHashCode(), and updateKeyOnTrace().

◆ SCIPbtnodeIsLeaf()

SCIP_Bool SCIPbtnodeIsLeaf ( SCIP_BTNODE * node )

returns whether the node is a leaf

Parameters

node node

Definition at line 8189 of file misc.c.

References SCIP_BtNode::left, NULL, and SCIP_BtNode::right.

Referenced by collectThetaSubtree(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), inferboundsEdgeFinding(), insertThetanode(), SCIPrealHashCode(), traceLambdaEnergy(), traceLambdaEnvelop(), traceThetaEnvelop(), and updateEnvelop().

◆ SCIPbtnodeIsLeftchild()

SCIP_Bool SCIPbtnodeIsLeftchild ( SCIP_BTNODE * node )

returns TRUE if the given node is left child

Parameters

node node

Definition at line 8199 of file misc.c.

References FALSE, SCIPbtnodeGetLeftchild(), SCIPbtnodeGetParent(), SCIPbtnodeIsRoot(), and TRUE.

Referenced by deleteLambdaLeaf(), SCIPrealHashCode(), and updateKeyOnTrace().

◆ SCIPbtnodeIsRightchild()

SCIP_Bool SCIPbtnodeIsRightchild ( SCIP_BTNODE * node )

returns TRUE if the given node is right child

Parameters

node node

Definition at line 8217 of file misc.c.

References FALSE, SCIPbtnodeGetParent(), SCIPbtnodeGetRightchild(), SCIPbtnodeIsRoot(), and TRUE.

Referenced by deleteLambdaLeaf(), and SCIPrealHashCode().

◆ SCIPbtnodeSetData()

void SCIPbtnodeSetData	(	SCIP_BTNODE *	node,
		void *	dataptr
	)

sets the give node data

Note: The old user pointer is not freed.

Parameters

node	node
dataptr	node user data pointer

Definition at line 8238 of file misc.c.

References SCIP_BtNode::dataptr, and NULL.

Referenced by SCIPrealHashCode().

◆ SCIPbtnodeSetParent()

void SCIPbtnodeSetParent	(	SCIP_BTNODE *	node,
		SCIP_BTNODE *	parent
	)

sets parent node

Note: The old parent including the rooted subtree is not delete.

Parameters

node	node
parent	new parent node, or NULL

Definition at line 8252 of file misc.c.

References NULL, and SCIP_BtNode::parent.

Referenced by deleteLambdaLeaf(), insertThetanode(), and SCIPrealHashCode().

◆ SCIPbtnodeSetLeftchild()

void SCIPbtnodeSetLeftchild	(	SCIP_BTNODE *	node,
		SCIP_BTNODE *	left
	)

sets left child

Note: The old left child including the rooted subtree is not delete.

Parameters

node	node
left	new left child, or NULL

Definition at line 8266 of file misc.c.

References SCIP_BtNode::left, and NULL.

Referenced by deleteLambdaLeaf(), insertThetanode(), and SCIPrealHashCode().

◆ SCIPbtnodeSetRightchild()

void SCIPbtnodeSetRightchild	(	SCIP_BTNODE *	node,
		SCIP_BTNODE *	right
	)

sets right child

Note: The old right child including the rooted subtree is not delete.

Parameters

node	node
right	new right child, or NULL

Definition at line 8280 of file misc.c.

References NULL, and SCIP_BtNode::right.

Referenced by deleteLambdaLeaf(), insertThetanode(), and SCIPrealHashCode().

◆ SCIPbtCreate()

SCIP_RETCODE SCIPbtCreate	(	SCIP_BT **	tree,
		BMS_BLKMEM *	blkmem
	)

creates an binary tree

Parameters

tree	pointer to store the created binary tree
blkmem	block memory used to createnode

Definition at line 8291 of file misc.c.

References BMSallocBlockMemory, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by checkOverloadViaThetaTree(), and SCIPrealHashCode().

◆ SCIPbtFree()

void SCIPbtFree ( SCIP_BT ** tree )

frees binary tree

Note: The user pointers (object) of the search nodes are not freed. If needed, it has to be done by the user.

frees binary tree

Note: The user pointers (object) of the nodes are not freed. If needed, it has to be done by the user.

Parameters

tree	pointer to binary tree

Definition at line 8310 of file misc.c.

References BMSfreeBlockMemory, NULL, and SCIPbtnodeFree().

Referenced by checkOverloadViaThetaTree(), and SCIPrealHashCode().

◆ SCIPbtPrintGml()

void SCIPbtPrintGml	(	SCIP_BT *	tree,
		FILE *	file
	)

prints the binary tree in GML format into the given file

Parameters

tree	binary tree
file	file to write to

Definition at line 8362 of file misc.c.

References btPrintSubtree(), nnodes, NULL, SCIPbtGetRoot(), SCIPbtIsEmpty(), SCIPgmlWriteClosing(), SCIPgmlWriteOpening(), and TRUE.

Referenced by SCIPrealHashCode().

◆ SCIPbtIsEmpty()

SCIP_Bool SCIPbtIsEmpty ( SCIP_BT * tree )

returns whether the binary tree is empty (has no nodes)

Parameters

tree	binary tree

Definition at line 8392 of file misc.c.

References NULL, and SCIP_Bt::root.

Referenced by checkOverloadViaThetaTree(), inferboundsEdgeFinding(), insertThetanode(), SCIPbtPrintGml(), and SCIPrealHashCode().

◆ SCIPbtGetRoot()

SCIP_BTNODE* SCIPbtGetRoot ( SCIP_BT * tree )

returns the root node of the binary tree or NULL if the binary tree is empty

returns the the root node of the binary or NULL if the binary tree is empty

Parameters

tree	tree to be evaluated

Definition at line 8402 of file misc.c.

References NULL, and SCIP_Bt::root.

Referenced by checkOverloadViaThetaTree(), inferboundsEdgeFinding(), insertThetanode(), SCIPbtPrintGml(), and SCIPrealHashCode().

◆ SCIPbtSetRoot()

void SCIPbtSetRoot	(	SCIP_BT *	tree,
		SCIP_BTNODE *	root
	)

sets root node

Note: The old root including the rooted subtree is not delete.

Parameters

tree	tree to be evaluated
root	new root, or NULL

Definition at line 8415 of file misc.c.

References NULL, and SCIP_Bt::root.

Referenced by deleteLambdaLeaf(), insertThetanode(), and SCIPrealHashCode().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPbtnodeCreate()

◆ SCIPbtnodeFree()

◆ SCIPbtnodeGetData()

◆ SCIPbtnodeGetParent()

◆ SCIPbtnodeGetLeftchild()

◆ SCIPbtnodeGetRightchild()

◆ SCIPbtnodeGetSibling()

◆ SCIPbtnodeIsRoot()

◆ SCIPbtnodeIsLeaf()

◆ SCIPbtnodeIsLeftchild()

◆ SCIPbtnodeIsRightchild()

◆ SCIPbtnodeSetData()

◆ SCIPbtnodeSetParent()

◆ SCIPbtnodeSetLeftchild()

◆ SCIPbtnodeSetRightchild()

◆ SCIPbtCreate()

◆ SCIPbtFree()

◆ SCIPbtPrintGml()

◆ SCIPbtIsEmpty()

◆ SCIPbtGetRoot()

◆ SCIPbtSetRoot()