Lines Matching defs:reach
13 more paths reach the same state, exactly one is chosen according to
83 tre_print_reach(const tre_tnfa_t *tnfa, tre_tnfa_reach_t *reach, int num_tags)
87 while (reach->state != NULL)
89 DPRINT((" %p", (void *)reach->state));
95 DPRINT(("%d:%d", i, reach->tags[i]));
100 reach++;
130 tre_tnfa_reach_t *reach, *reach_next, *reach_i, *reach_next_i;
184 reach = (void *)tmp_buf;
192 reach[i].tags = (void *)tmp_buf;
353 /* Swap `reach' and `reach_next'. */
354 reach_i = reach;
355 reach = reach_next;
358 /* For each state in `reach', weed out states that don't fulfill the
364 for (reach_i = reach; reach_i->state; reach_i++)
398 /* Swap `reach' and `reach_next'. */
399 reach_i = reach;
400 reach = reach_next;
404 /* For each state in `reach' see if there is a transition leaving with
408 for (reach_i = reach; reach_i->state; reach_i++)