Searched refs:current_max_dfa_size (Results 1 – 3 of 3) sorted by relevance
253 current_max_dfa_size += MAX_DFA_SIZE_INCREMENT; \ in epsclosure()255 t = reallocate_integer_array( t, current_max_dfa_size ); \ in epsclosure()256 stk = reallocate_integer_array( stk, current_max_dfa_size ); \ in epsclosure()261 if ( ++stkend >= current_max_dfa_size ) \ in epsclosure()269 if ( ++numstates >= current_max_dfa_size ) \ in epsclosure()285 stk = allocate_integer_array (current_max_dfa_size); in epsclosure()399 nset = allocate_integer_array (current_max_dfa_size); in ntod()
88 int current_max_dfa_size, current_max_xpairs; variable1759 current_max_dfa_size = INITIAL_MAX_DFA_SIZE; in set_up_initial_allocations()
581 extern int current_max_dfa_size, current_max_xpairs;