storm::dd::CuddPointerPairHash Struct Reference

#include <utility.h>

Public Member Functions
std::size_t	operator() (std::pair< DdNode const *, DdNode const * > const &pair) const

Detailed Description

Definition at line 11 of file utility.h.

Member Function Documentation

operator()()

std::size_t storm::dd::CuddPointerPairHash::operator() ( std::pair< DdNode const *, DdNode const * > const &  pair ) const

inline

Definition at line 12 of file utility.h.

---

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

• src/storm/storage/dd/cudd/utility.h