+ xbt_setset_cursor_t cursor;
+ mc_transition_t trans;
+
+ xbt_setset_foreach(state->created_transitions, cursor, trans){
+ xbt_setset_elm_remove(mc_setset, trans);
+ MC_transition_delete(trans);
+ }
+
+ xbt_setset_destroy_set(state->created_transitions);