-void visited_state_free(mc_visited_state_t state)
-{
- if (!state)
- return;
- if(!is_exploration_stack_state(state))
- delete state->system_state;
- xbt_free(state);
-}
-
-void visited_state_free_voidp(void *s)
-{
- visited_state_free((mc_visited_state_t) * (void **) s);
-}
-