- /** State's exploration status by process */
- std::map<aid_t, ActorState> actor_states_;
+ /** State's exploration status by actor. Not all the actors are there, only the ones that are ready-to-run in this state */
+ std::map<aid_t, ActorState> actors_to_run_;