Searched refs:dfasiz (Results 1 – 3 of 3) sorted by relevance
148 int size = dfasiz[ds];362 dfasiz = reallocate_integer_array (dfasiz, current_max_dfas); in increase_max_dfas()622 dsize = dfasiz[ds]; in ntod()832 if (numstates == dfasiz[i]) {879 dfasiz[newds] = numstates;
90 int *base, *def, *nultrans, NUL_ec, tblend, firstfree, **dss, *dfasiz; variable1760 dfasiz = allocate_integer_array (current_max_dfas); in set_up_initial_allocations()
628 *dfasiz;