Searched refs:state_record_reachable_states (Results 1 – 2 of 2) sorted by relevance
411 state_record_reachable_states (state *s, bitset reachable) in state_record_reachable_states() function420 state_record_reachable_states (s->transitions->states[i], reachable); in state_record_reachable_states()429 state_record_reachable_states (states[0], reachable); in state_remove_unreachable_states()
4999 (state_record_reachable_states): ... this, and use bitset.