cprover
|
Hash function for nodes. More...
Public Member Functions | |
size_t | operator() (const string_dependenciest::nodet &node) const optional_noexcept |
Hash function for nodes.
Definition at line 304 of file string_refinement_util.h.
|
inline |
Definition at line 307 of file string_refinement_util.h.
References string_dependenciest::nodet::STRING.