Searched refs:current_max_dfa_size (Results 1 – 3 of 3) sorted by relevance
254 current_max_dfa_size += MAX_DFA_SIZE_INCREMENT; \ in epsclosure()256 t = reallocate_integer_array( t, current_max_dfa_size ); \ in epsclosure()257 stk = reallocate_integer_array( stk, current_max_dfa_size ); \ in epsclosure()262 if ( ++stkend >= current_max_dfa_size ) \ in epsclosure()270 if ( ++numstates >= current_max_dfa_size ) \ in epsclosure()286 stk = allocate_integer_array (current_max_dfa_size); in epsclosure()400 nset = allocate_integer_array (current_max_dfa_size); in ntod()
91 int current_max_dfa_size, current_max_xpairs; variable1762 current_max_dfa_size = INITIAL_MAX_DFA_SIZE; in set_up_initial_allocations()
590 extern int current_max_dfa_size, current_max_xpairs;