Method set_type

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

    const std::string& info(void) const { return _info; }

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