- std::size_t interleaveSize() const;
- void addInterleavingSet(smx_actor_t actor) { this->actorStates[actor->pid_].consider(); }
- Transition getTransition() const;
+ std::size_t interleave_size() const;
+ void add_interleaving_set(const simgrid::kernel::actor::ActorImpl* actor)
+ {
+ this->actor_states_[actor->get_pid()].consider();
+ }
+ Transition get_transition() const;