Searched refs:explored_states_size (Results 1 – 2 of 2) sorted by relevance
796 u32 explored_states_size; member
1649 cur_states = env->explored_states_size + env->free_list_size; in update_peak_states()19231 env->explored_states_size--; in is_state_visited()19258 env->explored_states_size++; in is_state_visited()