Lines Matching defs:et_occ
41 struct et_occ
45 struct et_occ *parent; /* Parent in the splay-tree. */
46 struct et_occ *prev; /* Left son in the splay-tree. */
47 struct et_occ *next; /* Right son in the splay-tree. */
54 struct et_occ *min_occ; /* The occurrence in the subtree with the minimal
59 static object_allocator<et_occ> et_occurrences ("et_occ pool");
64 set_depth (struct et_occ *occ, int d)
76 set_depth_add (struct et_occ *occ, int d)
88 set_prev (struct et_occ *occ, struct et_occ *t)
102 set_next (struct et_occ *occ, struct et_occ *t)
116 et_recomp_min (struct et_occ *occ)
118 struct et_occ *mson = occ->prev;
141 et_check_occ_sanity (struct et_occ *occ)
171 et_check_sanity (struct et_occ *occ)
183 et_check_tree_sanity (struct et_occ *occ)
204 record_path_before_1 (struct et_occ *occ, int depth)
241 record_path_before (struct et_occ *occ)
255 check_path_after_1 (struct et_occ *occ, int depth)
288 check_path_after (struct et_occ *occ)
302 et_splay (struct et_occ *occ)
304 struct et_occ *f, *gf, *ggf;
443 static struct et_occ *
446 et_occ *nw = et_occurrences.allocate ();
520 struct et_occ *rmost, *left_part, *new_f_occ, *p;
577 struct et_occ *r, *l, *rmost, *p_occ;
632 struct et_occ *o1 = n1->rightmost_occ, *o2 = n2->rightmost_occ, *om;
633 struct et_occ *l, *r, *ret;
700 struct et_occ *u = up->rightmost_occ, *d = down->rightmost_occ;
701 struct et_occ *l, *r;
757 struct et_occ *occ = node->rightmost_occ, *r;