diff options
author | Vern Paxson <vern@ee.lbl.gov> | 1993-08-24 20:37:11 +0000 |
---|---|---|
committer | Vern Paxson <vern@ee.lbl.gov> | 1993-08-24 20:37:11 +0000 |
commit | 4e27b497e883e60246e4daa4cc4208072dcebc30 (patch) | |
tree | 20bcab38f48c9dcec90aaa1028d2bc9200e87f84 /dfa.c | |
parent | ee15993b3542238e82492f7d17d33de312ae6c6e (diff) |
"backtracking" -> "backing up"
Diffstat (limited to 'dfa.c')
-rw-r--r-- | dfa.c | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -42,38 +42,38 @@ void sympartition PROTO((int[], int, int[], int[])); int symfollowset PROTO((int[], int, int, int[])); -/* check_for_backtracking - check a DFA state for backtracking +/* check_for_backing_up - check a DFA state for backing up * * synopsis - * void check_for_backtracking( int ds, int state[numecs] ); + * void check_for_backing_up( int ds, int state[numecs] ); * * ds is the number of the state to check and state[] is its out-transitions, * indexed by equivalence class. */ -void check_for_backtracking( ds, state ) +void check_for_backing_up( ds, state ) int ds; int state[]; { if ( (reject && ! dfaacc[ds].dfaacc_set) || (! reject && ! dfaacc[ds].dfaacc_state) ) { /* state is non-accepting */ - ++num_backtracking; + ++num_backing_up; - if ( backtrack_report ) + if ( backing_up_report ) { - fprintf( backtrack_file, + fprintf( backing_up_file, "State #%d is non-accepting -\n", ds ); /* identify the state */ - dump_associated_rules( backtrack_file, ds ); + dump_associated_rules( backing_up_file, ds ); /* Now identify it further using the out- and * jam-transitions. */ - dump_transitions( backtrack_file, state ); + dump_transitions( backing_up_file, state ); - putc( '\n', backtrack_file ); + putc( '\n', backing_up_file ); } } } @@ -689,7 +689,7 @@ void ntod() } if ( ds > num_start_states ) - check_for_backtracking( ds, state ); + check_for_backing_up( ds, state ); if ( nultrans ) { |