-
- for(item=xbt_fifo_get_last_item(stack);
- (item?(state=(mc_state_t)(xbt_fifo_get_item_content(item))):(NULL));
- item=xbt_fifo_get_prev_item(item)){
- trans = state->executed_transition;
- if(trans){
- INFO1("%s", trans->name);
- }
- }
-}
-
-/**
- * \brief Schedules all the process that are ready to run
- * As a side effect it performs some clean-up required by SIMIX
- */
-void MC_schedule_enabled_processes(void)
-{
- smx_process_t process;
-
- //SIMIX_process_empty_trash();
-
- /* Schedule every process that is ready to run due to an finished action */
- while ((process = xbt_swag_extract(simix_global->process_to_run))) {
- DEBUG2("Scheduling %s on %s", process->name, process->smx_host->name);
- SIMIX_process_schedule(process);
- }
-}
-
-/******************************** States **************************************/
-
-/**
- * \brief Creates a state data structure used by the exploration algorithm
- */
-mc_state_t MC_state_new(void)
-{
- mc_state_t state = NULL;
-
- state = xbt_new0(s_mc_state_t, 1);
- state->created_transitions = xbt_setset_new_set(mc_setset);
- state->transitions = xbt_setset_new_set(mc_setset);
- state->enabled_transitions = xbt_setset_new_set(mc_setset);
- state->interleave = xbt_setset_new_set(mc_setset);
- state->done = xbt_setset_new_set(mc_setset);
- state->executed_transition = NULL;
-
- mc_stats->expanded_states++;
-
- return state;
-}
-/**
- * \brief Deletes a state data structure
- * \param trans The state to be deleted
- */
-void MC_state_delete(mc_state_t state)
-{
- xbt_setset_cursor_t cursor;
- mc_transition_t trans;