/** Unique parent of this state. Required both for sleep set computation
and for guided model-checking */
/** Unique parent of this state. Required both for sleep set computation
and for guided model-checking */
/* Returns a positive number if there is another transition to pick, or -1 if not */
aid_t next_transition() const; // this function should disapear as it is redundant with the next one
/* Returns a positive number if there is another transition to pick, or -1 if not */
aid_t next_transition() const; // this function should disapear as it is redundant with the next one
bool is_actor_done(aid_t actor) const { return guide_->actors_to_run_.at(actor).is_done(); }
Transition* get_transition() const;
void set_transition(Transition* t) { transition_ = t; }
bool is_actor_done(aid_t actor) const { return guide_->actors_to_run_.at(actor).is_done(); }
Transition* get_transition() const;
void set_transition(Transition* t) { transition_ = t; }
std::map<aid_t, ActorState> const& get_actors_list() const { return guide_->actors_to_run_; }
unsigned long get_actor_count() const { return guide_->actors_to_run_.size(); }
std::map<aid_t, ActorState> const& get_actors_list() const { return guide_->actors_to_run_; }
unsigned long get_actor_count() const { return guide_->actors_to_run_.size(); }