Method makeDone

gecode/search/cpprofiler/message.hpp:319–322

        }
    
    void makeDone(void) {
      msg.reset();
      msg.set_type(MsgType::DONE);
    }
    
    const Message& get_msg(void) { return msg; }