Home | History | Annotate | Download | only in src

Lines Matching refs:reachable

407 | Record S and all states reachable from S in REACHABLE.  |
411 state_record_reachable_states (state *s, bitset reachable)
413   if (bitset_test (reachable, s->number))
415   bitset_set (reachable, s->number);
420         state_record_reachable_states (s->transitions->states[i], reachable);
428   bitset reachable = bitset_create (nstates, BITSET_FIXED);
429   state_record_reachable_states (states[0], reachable);
434         if (bitset_test (reachable, states[i]->number))
448   bitset_free (reachable);