hash operator T operator!= operator== symbol symbol

symbol() [2/2] halcheck::lib::symbol::symbol ( const char * = "" ) explicit Construct a new symbol from a C string. Postcondition symbol(x) == symbol(std::string(x))