bool is_done() const { return this->state == InterleavingType::done; }
bool is_todo() const { return this->state == InterleavingType::todo; }
/** Mark that we should try executing this process at some point in the future of the checker algorithm */
bool is_done() const { return this->state == InterleavingType::done; }
bool is_todo() const { return this->state == InterleavingType::todo; }
/** Mark that we should try executing this process at some point in the future of the checker algorithm */