hash operator T operator!= operator== symbol symbol

hash() std::size_t halcheck::lib::symbol::hash ( ) const inlinenoexcept Gets a hash code for this symbol. Equivalent to computing the hash code of the underlying std::string, but guaranteed to be computed in constant time. Returns The hash code of the associated std::string. Postcondition x.hash() == std::hash<std::string>()((const std::string &)x)