Method has_nogood

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

    const std::string& label() const { return _label; }
    
    bool has_nogood(void) const { return _have_nogood; }
    const std::string& nogood(void) const { return _nogood; }
    
    // generic optional fields