Lines Matching refs:stree
32 static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm);
34 static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm);
35 static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret);
42 static bool checkOrder(struct stree *avl);
59 static struct stree *avl_new(void) in avl_new()
61 struct stree *avl = malloc(sizeof(*avl)); in avl_new()
75 void free_stree(struct stree **avl) in free_stree()
95 struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm) in avl_lookup()
110 AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm) in avl_lookup_node()
115 size_t stree_count(const struct stree *avl) in stree_count()
122 static struct stree *clone_stree_real(struct stree *orig) in clone_stree_real()
124 struct stree *new = avl_new(); in clone_stree_real()
134 bool avl_insert(struct stree **avl, const struct sm_state *sm) in avl_insert()
152 bool avl_remove(struct stree **avl, const struct sm_state *sm) in avl_remove()
199 static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm) in lookup()
220 static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm) in insert_sm()
250 static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret) in remove_sm()
396 bool avl_check_invariants(struct stree *avl) in avl_check_invariants()
426 static bool checkOrder(struct stree *avl) in checkOrder()
453 void avl_iter_begin(AvlIter *iter, struct stree *avl, AvlDirection dir) in avl_iter_begin()
502 struct stree *clone_stree(struct stree *orig) in clone_stree()
511 void set_stree_id(struct stree **stree, int stree_id) in set_stree_id() argument
513 if ((*stree)->stree_id != 0) in set_stree_id()
514 *stree = clone_stree_real(*stree); in set_stree_id()
516 (*stree)->stree_id = stree_id; in set_stree_id()
519 int get_stree_id(struct stree *stree) in get_stree_id() argument
521 if (!stree) in get_stree_id()
523 return stree->stree_id; in get_stree_id()