Searched refs:conflicts_update_state_numbers (Results 1 – 4 of 4) sorted by relevance
36 void conflicts_update_state_numbers (state_number old_to_new[],
134 conflicts_update_state_numbers (old_to_new, nstates_old); in main()
412 conflicts_update_state_numbers (state_number old_to_new[], in conflicts_update_state_numbers() function
4988 * src/conflicts.c (conflicts_update_state_numbers): Fix for-loop.5054 * src/conflicts.c, src/conflicts.h (conflicts_update_state_numbers):