Method has_info

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

generic optional fields

    
    // generic optional fields
    bool has_info(void) const { return _have_info; }
    const std::string& info(void) const { return _info; }

    void set_type(MsgType type) { _type = type; }