Method set_nogood

gecode/search/cpprofiler/message.hpp:177–180

    }
    
    void set_nogood(const std::string& nogood) {
      _have_nogood = true;
      _nogood = nogood;
    }
    
    void set_version(int32_t v) {
      _have_version = true;