hash operator T operator!= operator== symbol symbol

operator T() template<typename T > halcheck::lib::symbol::operator T ( ) const inlineexplicit Casts the underlying string to a value. Template Parameters T The type of value to cast to. Returns The underlying string reference casted to T. Postcondition (T)x == (T)(const std::string &)x