hash operator T operator!= operator== symbol symbol

symbol() [1/2] halcheck::lib::symbol::symbol ( const std::string & ) explicit Construct a new symbol from a std::string. Postcondition (const std::string &)symbol(x) == x Note This constructor has O(n) complexity, where n is the length of the input string. Prefer using the string literal version whenever possible. For example: using namespace halcheck::lib::literals; symbol example = "my symbol"_s;