Searched refs:closureset (Results 1 – 1 of 1) sorted by relevance
1177 t_powerset * closureset(t_powerset * dst, t_powerset * src);1193 return closureset(dst, src->s_nfastates); in closure()1216 closureset(t_powerset * dst, t_powerset * src) in closureset() function1371 closureset(NULL, stateset), in builddfa()1384 closureset(NULL, stateset), sethash)); in builddfa()