Lines Matching refs:post
66 nfa->post = newfstate(nfa, '@'); /* number 0 */
79 rainbow(nfa, nfa->cm, PLAIN, COLORLESS, nfa->final, nfa->post);
80 newarc(nfa, '$', 1, nfa->final, nfa->post);
81 newarc(nfa, '$', 0, nfa->final, nfa->post);
112 nfa->post = NULL;
885 for (a = nfa->post->ins; a != NULL; a = nexta) {
1081 assert(from != nfa->pre && to != nfa->post);
1131 /* use pre to mark reachable, then post to mark can-reach-post */
1133 markcanreach(nfa, nfa->post, nfa->pre, nfa->post);
1136 if (s->tmp != nfa->post && !s->flag)
1139 assert(nfa->post->nins == 0 || nfa->post->tmp == nfa->post);
1141 assert(nfa->post->nins == 0 || nfa->post->tmp == NULL);
1210 if (aa->to == nfa->post)
1253 cnfa->post = nfa->post->no;
1355 fprintf(f, "pre %d, post %d", nfa->pre->no, nfa->post->no);
1523 fprintf(f, "pre %d, post %d", cnfa->pre, cnfa->post);