- printf("\nListe des états : %lu\n\n", xbt_dynar_length(a->states));
-
-
- xbt_dynar_foreach(a->states, cursor, state){
- printf("ID : %s, type : %d\n", state->id, state->type);
- }
+ printf("\nStates' List: %lu\n\n", xbt_dynar_length(a->states));
+
+ xbt_dynar_foreach(a->states, cursor, state)
+ printf("ID: %s, type: %d\n", state->id, state->type);
+
+ xbt_automaton_transition_t transition;
+ printf("\nTransitions: %lu\n\n", xbt_dynar_length(a->transitions));