unsigned long get_maxpid() const;
/* Get the list of actors that are ready to run at that step. Usually shorter than maxpid */
unsigned long get_maxpid() const;
/* Get the list of actors that are ready to run at that step. Usually shorter than maxpid */