Method operator<

native/desc/State.cpp:121–123

    }

    bool State::operator<(const State &state) const {
        return this->hash() < state.hash();
    }

    State::~State() {
        this->_activity.reset();