cprover
string_dependenciest::node_hash Struct Reference

Hash function for nodes. More...

Public Member Functions

size_t operator() (const string_dependenciest::nodet &node) const optional_noexcept
 

Detailed Description

Hash function for nodes.

Definition at line 308 of file string_refinement_util.h.

Member Function Documentation

◆ operator()()

size_t string_dependenciest::node_hash::operator() ( const string_dependenciest::nodet node) const
inline

Definition at line 311 of file string_refinement_util.h.

References string_dependenciest::nodet::STRING.


The documentation for this struct was generated from the following file: