Searched refs:derived_states (Results 1 – 7 of 7) sorted by relevance
94 const int num_derived_states, fcs_derived_state_debug *const derived_states) in fc_solve_user_INTERNAL_free_derived_states() argument96 fcs_derived_state_debug *iter = derived_states; in fc_solve_user_INTERNAL_free_derived_states()101 free(derived_states); in fc_solve_user_INTERNAL_free_derived_states()
37 fcs_derived_state_debug *const derived_states);
1226 fcs_derived_states_list_item *const derived_states, in dfs_shuffle_states() argument1263 instance, derived_states[i].state_ptr), in dfs_shuffle_states()1265 &(derived_states[i].state_ptr->s), in dfs_shuffle_states()1267 BEFS_MAX_DEPTH - calc_depth(derived_states[i].state_ptr)); in dfs_shuffle_states()1525 fcs_derived_states_list_item *const derived_states = in dfs_solve() local1535 fcs_collectible_state *const single_derived_state = derived_states[ in dfs_solve()
256 let derived_states = self in transitive_closure() localVariable261 items.extend(derived_states); in transitive_closure()
53 &derived_states,