59 |
state_list_t *node = XMALLOC (state_list_t, 1); |
state_list_t *node = XMALLOC (state_list_t, 1); |
60 |
state_t *state = state_new (symbol, core_size, core); |
state_t *state = state_new (symbol, core_size, core); |
61 |
|
|
62 |
if (trace_flag) |
if (trace_flag & trace_automaton) |
63 |
fprintf (stderr, "state_list_append (state = %d, symbol = %d (%s))\n", |
fprintf (stderr, "state_list_append (state = %d, symbol = %d (%s))\n", |
64 |
nstates, symbol, symbols[symbol]->tag); |
nstates, symbol, symbols[symbol]->tag); |
65 |
|
|
177 |
{ |
{ |
178 |
int i; |
int i; |
179 |
|
|
180 |
if (trace_flag) |
if (trace_flag & trace_automaton) |
181 |
fprintf (stderr, "Entering new_itemsets, state = %d\n", |
fprintf (stderr, "Entering new_itemsets, state = %d\n", |
182 |
state->number); |
state->number); |
183 |
|
|
215 |
{ |
{ |
216 |
state_t *sp; |
state_t *sp; |
217 |
|
|
218 |
if (trace_flag) |
if (trace_flag & trace_automaton) |
219 |
fprintf (stderr, "Entering get_state, symbol = %d (%s)\n", |
fprintf (stderr, "Entering get_state, symbol = %d (%s)\n", |
220 |
symbol, symbols[symbol]->tag); |
symbol, symbols[symbol]->tag); |
221 |
|
|
223 |
if (!sp) |
if (!sp) |
224 |
sp = state_list_append (symbol, core_size, core); |
sp = state_list_append (symbol, core_size, core); |
225 |
|
|
226 |
if (trace_flag) |
if (trace_flag & trace_automaton) |
227 |
fprintf (stderr, "Exiting get_state => %d\n", sp->number); |
fprintf (stderr, "Exiting get_state => %d\n", sp->number); |
228 |
|
|
229 |
return sp; |
return sp; |
243 |
int j; |
int j; |
244 |
symbol_number_t symbol; |
symbol_number_t symbol; |
245 |
|
|
246 |
if (trace_flag) |
if (trace_flag & trace_automaton) |
247 |
fprintf (stderr, "Entering append_states, state = %d\n", |
fprintf (stderr, "Entering append_states, state = %d\n", |
248 |
state->number); |
state->number); |
249 |
|
|
351 |
while (list) |
while (list) |
352 |
{ |
{ |
353 |
state_t *state = list->state; |
state_t *state = list->state; |
354 |
if (trace_flag) |
if (trace_flag & trace_automaton) |
355 |
fprintf (stderr, "Processing state %d (reached by %s)\n", |
fprintf (stderr, "Processing state %d (reached by %s)\n", |
356 |
state->number, |
state->number, |
357 |
symbols[state->accessing_symbol]->tag); |
symbols[state->accessing_symbol]->tag); |