Method randomPickUnvisitedAction

native/desc/State.cpp:262–268

    }

    ActivityStateActionPtr State::randomPickUnvisitedAction() const {
        ActivityStateActionPtr action = this->randomPickAction(enableValidUnvisitedFilter, false);
        if (action == nullptr && enableValidUnvisitedFilter->include(getBackAction())) {
            action = getBackAction();
        }
        return action;
    }


    ActivityStateActionPtr State::resolveAt(ActivityStateActionPtr action, time_t t) {