Searched refs:unique_num (Results 1 – 2 of 2) sorted by relevance
673 int unique_num; member3193 if ((*(alt_state_t *) alt_state_ptr_1)->state->unique_num in alt_state_cmp()3194 == (*(alt_state_t *) alt_state_ptr_2)->state->unique_num) in alt_state_cmp()3196 else if ((*(alt_state_t *) alt_state_ptr_1)->state->unique_num in alt_state_cmp()3197 < (*(alt_state_t *) alt_state_ptr_2)->state->unique_num) in alt_state_cmp()3634 result->unique_num = curr_unique_state_num; in get_free_state()3677 + alt_state->state->unique_num); in state_hash()
7208 int unique_num; member7263 result->unique_num = bundle_states_num++; in get_free_bundle_state()7873 curr_state->unique_num, in bundling()7875 ? -1 : curr_state->originator->unique_num), in bundling()7932 curr_state->unique_num, in bundling()7934 ? -1 : curr_state->originator->unique_num), in bundling()