Method has_version

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

    }
    
    bool has_version(void) const { return _have_version; }
    int32_t version(void) const { return _version; }
    
    bool has_label(void) const { return _have_label; }