Searched refs:dfasiz (Results 1 – 3 of 3) sorted by relevance
149 int size = dfasiz[ds];363 dfasiz = reallocate_integer_array (dfasiz, current_max_dfas); in increase_max_dfas()623 dsize = dfasiz[ds]; in ntod()833 if (numstates == dfasiz[i]) {880 dfasiz[newds] = numstates;
93 int *base, *def, *nultrans, NUL_ec, tblend, firstfree, **dss, *dfasiz; variable1763 dfasiz = allocate_integer_array (current_max_dfas); in set_up_initial_allocations()
629 *dfasiz;