Searched refs:state_remove_unreachable_states (Results 1 – 4 of 4) sorted by relevance
132 state_remove_unreachable_states (old_to_new); in main()
266 void state_remove_unreachable_states (state_number old_to_new[]);
425 state_remove_unreachable_states (state_number old_to_new[]) in state_remove_unreachable_states() function
4992 (state_remove_unreachable_states): Fix for-loop.5000 (state_remove_unreachable_states): Use bitset.5063 (state_remove_unreachable_states): New global function.5065 (state_remove_unreachable_states): Prototype.