Method set_status

gecode/search/cpprofiler/message.hpp:165–165

    
    NodeStatus status(void) const { return _status; }
    void set_status(NodeStatus status) { _status = status; }
    
    void set_label(const std::string& label) {
      _have_label = true;