Method addState

native/model/Graph.cpp:28–59

    const std::pair<int, double> Graph::_defaultDistri = std::make_pair(0, 0.0);

    StatePtr Graph::addState(StatePtr state) {
        auto activity = state->getActivityString(); // get the activity name(activity class name) of this new state
        auto ifStateExists = this->_states.find(state); // try to find state in state caches
        if (ifStateExists ==
            this->_states.end()) // if this is a brand-new state, emplace this state inside _states cache
        {
            state->setId((int) this->_states.size());
            this->_states.emplace(state);
        } else {
            if ((*ifStateExists)->hasNoDetail()) {
                (*ifStateExists)->fillDetails(state);
            }
            state = *ifStateExists;
        }

        this->notifyNewStateEvents(state);

        this->_visitedActivities.emplace(
                activity); // add this activity name to this set, and in this set, every name is unique.
        this->_totalDistri++;
        std::string activityStr = *(activity.get());
        if (this->_activityDistri.find(activityStr) ==
            this->_activityDistri.end()) // try to find this activity name in the map of recording how many times one activity been accessed.
        {
            this->_activityDistri[activityStr] = _defaultDistri; // if not found, use the default pair of (0, 0) to initialize.
        }
        this->_activityDistri[activityStr].first++;
        this->_activityDistri[activityStr].second =
                1.0 * this->_activityDistri[activityStr].first / this->_totalDistri;
        addActionFromState(state);
        return state;
    }


    void Graph::notifyNewStateEvents(const StatePtr &node) {