- 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;
+ /* Returns a positive number if there is another transition to pick, or -1 if not */
+ int next_transition() const;
+
+ /* Explore a new path */
+ Transition* execute_next(int next);
+
+ std::size_t count_todo() const;
+ void mark_todo(aid_t actor) { this->actor_states_[actor].mark_todo(); }
+ Transition* get_transition() const;
+ void set_transition(Transition* t) { transition_.reset(t); }
+
+ /* Returns the total amount of states created so far (for statistics) */
+ static long get_expanded_states() { return expended_states_; }
+
+private:
+ void copy_incomplete_comm_pattern();
+ void copy_index_comm_pattern();