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 7501 of file misc.c.

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

Referenced by checkOverloadViaThetaTree(), and insertThetanode().

◆ 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 7565 of file misc.c.

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

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

◆ SCIPbtnodeGetData()

void* SCIPbtnodeGetData ( SCIP_BTNODE * node )

returns the user data pointer stored in that node

Parameters

node node

Definition at line 7610 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(), 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 7620 of file misc.c.

References NULL, and SCIP_BtNode::parent.

Referenced by deleteLambdaLeaf(), insertThetanode(), SCIPbtnodeGetSibling(), SCIPbtnodeIsLeftchild(), SCIPbtnodeIsRightchild(), 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 7630 of file misc.c.

References SCIP_BtNode::left, and NULL.

Referenced by btPrintSubtree(), collectThetaSubtree(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), insertThetanode(), SCIPbtnodeGetSibling(), SCIPbtnodeIsLeftchild(), 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 7640 of file misc.c.

References NULL, and SCIP_BtNode::right.

Referenced by btPrintSubtree(), collectThetaSubtree(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), insertThetanode(), SCIPbtnodeGetSibling(), SCIPbtnodeIsRightchild(), 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 7650 of file misc.c.

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

◆ SCIPbtnodeIsRoot()

SCIP_Bool SCIPbtnodeIsRoot ( SCIP_BTNODE * node )

returns whether the node is a root node

Parameters

node node

Definition at line 7670 of file misc.c.

References NULL, and SCIP_BtNode::parent.

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

◆ SCIPbtnodeIsLeaf()

SCIP_Bool SCIPbtnodeIsLeaf ( SCIP_BTNODE * node )

returns whether the node is a leaf

Parameters

node node

Definition at line 7680 of file misc.c.

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

Referenced by collectThetaSubtree(), deleteLambdaLeaf(), findResponsibleLambdaLeafTraceEnergy(), findResponsibleLambdaLeafTraceEnvelop(), inferboundsEdgeFinding(), insertThetanode(), 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 7690 of file misc.c.

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

Referenced by deleteLambdaLeaf(), and updateKeyOnTrace().

◆ SCIPbtnodeIsRightchild()

SCIP_Bool SCIPbtnodeIsRightchild ( SCIP_BTNODE * node )

returns TRUE if the given node is right child

Parameters

node node

Definition at line 7708 of file misc.c.

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

Referenced by deleteLambdaLeaf().

◆ 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 7729 of file misc.c.

References SCIP_BtNode::dataptr, and NULL.

◆ 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 7743 of file misc.c.

References NULL, and SCIP_BtNode::parent.

Referenced by deleteLambdaLeaf(), and insertThetanode().

◆ 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 7757 of file misc.c.

References SCIP_BtNode::left, and NULL.

Referenced by deleteLambdaLeaf(), and insertThetanode().

◆ 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 7771 of file misc.c.

References NULL, and SCIP_BtNode::right.

Referenced by deleteLambdaLeaf(), and insertThetanode().

◆ 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 7782 of file misc.c.

References BMSallocMemory, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by checkOverloadViaThetaTree().

◆ 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 7801 of file misc.c.

References BMSfreeMemory, NULL, and SCIPbtnodeFree().

Referenced by checkOverloadViaThetaTree().

◆ 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 7853 of file misc.c.

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

◆ SCIPbtIsEmpty()

SCIP_Bool SCIPbtIsEmpty ( SCIP_BT * tree )

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

Parameters

tree	binary tree

Definition at line 7883 of file misc.c.

References NULL, and SCIP_Bt::root.

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

◆ 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 7893 of file misc.c.

References NULL, and SCIP_Bt::root.

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

◆ 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 7906 of file misc.c.

References NULL, and SCIP_Bt::root.

Referenced by deleteLambdaLeaf(), and insertThetanode().

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()