string_dependenciest::node_hash Struct Reference

Hash function for nodes. More...

Public Member Functions
size_t	operator() (const string_dependenciest::nodet &node) const

Detailed Description

Hash function for nodes.

Definition at line 163 of file string_dependencies.h.

Member Function Documentation

operator()()

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

inline

Definition at line 165 of file string_dependencies.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/strings/string_dependencies.h