Lines Matching refs:ds
46 * void check_for_backing_up( int ds, int state[numecs] );
48 * ds is the number of the state to check and state[] is its out-transitions,
52 void check_for_backing_up (ds, state)
53 int ds;
56 if ((reject && !dfaacc[ds].dfaacc_set) || (!reject && !dfaacc[ds].dfaacc_state)) { /* state is non-accepting */
61 _("State #%d is non-accepting -\n"), ds);
64 dump_associated_rules (backing_up_file, ds);
140 void dump_associated_rules (file, ds)
142 int ds;
147 int *dset = dss[ds];
148 int size = dfasiz[ds];
383 int *accset, ds, nacc, newds;
590 if (snstods (nset, numstates, accset, nacc, hashval, &ds)) {
619 ds = ++todo_head;
621 dset = dss[ds];
622 dsize = dfasiz[ds];
625 fprintf (stderr, _("state # %d:\n"), ds);
703 if (ds > num_start_states)
704 check_for_backing_up (ds, state);
707 nultrans[ds] = state[NUL_ec];
726 if (ds == end_of_buffer_state) {
741 mk2data (state[i] ? state[i] : -ds);
743 state[i] ? state[i] : -ds;
752 place_state (state, ds, totaltrans);
754 else if (ds == end_of_buffer_state)
758 stack1 (ds, 0, 0, JAMSTATE);
775 bldtbl (state, ds, totaltrans, comstate, comfreq);
941 * numstates = symfollowset( int ds[current_max_dfa_size], int dsize,
945 int symfollowset (ds, dsize, transsym, nset)
946 int ds[], dsize, transsym, nset[];
952 for (i = 1; i <= dsize; ++i) { /* for each nfa state ns in the state set of ds */
953 ns = ds[i];
1019 * sympartition( int ds[current_max_dfa_size], int numstates,
1023 void sympartition (ds, numstates, symlist, duplist)
1024 int ds[], numstates;
1043 ns = ds[i];