- void resume(simgrid::mc::Process& process);
- void loop();
- bool handle_events();
- void wait_client(simgrid::mc::Process& process);
- void handle_simcall(Transition const& transition);
- void wait_for_requests()
- {
- mc_model_checker->wait_client(mc_model_checker->process());
- }
- void exit(int status);
+ void resume();
+ void wait_for_requests();
+
+ /** Let the application take a transition. A new Transition is created iff the last parameter is true */
+ Transition* handle_simcall(aid_t aid, int times_considered, bool new_transition);
+
+ /* Interactions with the simcall observer */
+ bool simcall_is_visible(aid_t aid);
+ std::string simcall_dot_label(aid_t aid, int times_considered);
+
+ XBT_ATTRIB_NORETURN void exit(int status);