Searched refs:is_parent_node (Results 1 – 2 of 2) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/utils/ |
| H A D | uint_rbtrees.c | 154 static inline bool is_parent_node(rbtree_t *tree, uint32_t p, uint32_t q) { in is_parent_node() function
168 assert(is_parent_node(tree, p, q)); in child_index()
179 assert(is_parent_node(tree, p, q)); in sibling()
224 assert(is_parent_node(tree, q, p) && is_red(tree, p) && is_black(tree, tree->root)); in rbtree_balance()
242 assert(is_parent_node(tree, q, p)); in rbtree_balance()
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | balanced_arith_buffers.c | 133 static inline bool is_parent_node(rba_buffer_t *b, uint32_t p, uint32_t q) { in is_parent_node() function
147 assert(is_parent_node(b, p, q)); in child_index()
158 assert(is_parent_node(b, p, q)); in sibling()
229 assert(is_parent_node(b, q, p) && is_red(b, p) && is_black(b, b->root)); in rba_balance_after_add()
247 assert(is_parent_node(b, q, p)); in rba_balance_after_add()
296 assert(is_parent_node(b, q, p) && is_black(b, b->root)); in rba_balance_after_delete()
335 assert(is_parent_node(b, q, p)); in rba_balance_after_delete()
|