/** Number of times that the actor was considered to be executed in previous explorations of the state space */
unsigned int times_considered_ = 0;
/** Maximal amount of times that the actor can be considered for execution in this state.
/** Number of times that the actor was considered to be executed in previous explorations of the state space */
unsigned int times_considered_ = 0;
/** Maximal amount of times that the actor can be considered for execution in this state.