Method pause_tracker

src/PLPSLAM/system.cc:443–446

    }

    void system::pause_tracker()
    {
        tracker_->request_pause();
    }

    bool system::tracker_is_paused() const
    {