wali::graph::TransitionHash Struct Reference

List of all members.

Public Member Functions
size_t	operator() (const Transition &t) const

---

Member Function Documentation

size_t wali::graph::TransitionHash::operator()

(

const Transition &

t

)

const

References wali::graph::Transition::src, wali::graph::Transition::stack, and wali::graph::Transition::tgt.

---

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

• Source/wali/graph/GraphCommon.hpp