Lines Matching refs:pre
67 nfa->pre = newfstate(nfa, '>'); /* number 1 */
76 rainbow(nfa, nfa->cm, PLAIN, COLORLESS, nfa->pre, nfa->init);
77 newarc(nfa, '^', 1, nfa->pre, nfa->init);
78 newarc(nfa, '^', 0, nfa->pre, nfa->init);
111 nfa->pre = NULL;
767 for (a = nfa->pre->outs; 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 */
1132 markreachable(nfa, nfa->pre, (struct state *)NULL, nfa->pre);
1133 markcanreach(nfa, nfa->post, nfa->pre, nfa->post);
1140 cleartraverse(nfa, nfa->pre);
1206 if (nfa->pre->outs == NULL)
1208 for (a = nfa->pre->outs; a != NULL; a = a->outchain)
1252 cnfa->pre = nfa->pre->no;
1276 assert(s->no != cnfa->pre);
1295 for (a = nfa->pre->outs; a != NULL; a = a->outchain)
1297 cnfa->states[nfa->pre->no]->co = 1;
1355 fprintf(f, "pre %d, post %d", nfa->pre->no, nfa->post->no);
1523 fprintf(f, "pre %d, post %d", cnfa->pre, cnfa->post);