/** 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 */
- XBT_ATTRIB_NORETURN void exit(int status);
-
Exploration* get_exploration() const { return exploration_; }
void set_exploration(Exploration* exploration) { exploration_ = exploration; }