Searched refs:stateset (Results 1 – 1 of 1) sorted by relevance
1288 t_powerset * stateset; in builddfa() local1301 stateset = set_include(NULL, NULL); in builddfa()1302 chknull(stateset); in builddfa()1356 stateset->p_card = 0; in builddfa()1363 if (stateset->p_card) { in builddfa()1371 closureset(NULL, stateset), in builddfa()1373 stateset->p_card = 0; in builddfa()1379 stateset = set_include(stateset, t->t_to); in builddfa()1382 if (stateset->p_card) in builddfa()1384 closureset(NULL, stateset), sethash)); in builddfa()[all …]