Home | History | Annotate | Download | only in bldcsndfa

Lines Matching full:closureset

1177 t_powerset *    closureset(t_powerset * dst, t_powerset * src);
1193                 return closureset(dst, src->s_nfastates);
1216 closureset(t_powerset * dst, t_powerset * src)
1371                                             closureset(NULL, stateset),
1384                             closureset(NULL, stateset), sethash));