Method type

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

    void set_type(MsgType type) { _type = type; }
    MsgType type(void) const { return _type; }
    
    void reset(void) {
      _have_label = false;