};
public:
- std::string get_actor_string(smx_actor_t actor) const;
- std::string get_actor_dot_label(smx_actor_t actor) const;
-
// No copy:
Api(Api const&) = delete;
void operator=(Api const&) = delete;
unsigned long mc_get_visited_states() const;
XBT_ATTRIB_NORETURN void mc_exit(int status) const;
- // SIMCALL APIs
- std::string request_get_dot_output(const Transition* t) const;
-
// STATE APIs
void restore_state(std::shared_ptr<simgrid::mc::Snapshot> system_state) const;
}
xbt_automaton_exp_label_t get_automaton_transition_label(xbt_dynar_t const& dynar, int index) const;
xbt_automaton_state_t get_automaton_transition_dst(xbt_dynar_t const& dynar, int index) const;
-
- // DYNAR APIs
- inline unsigned long get_dynar_length(const_xbt_dynar_t const& dynar) const { return xbt_dynar_length(dynar); }
};
} // namespace mc