MaxPlusAnalysis::StateHasher Class Reference

#include <mpstorage.h>

List of all members.

Public Member Functions
size_t	operator() (const State *s) const

---

Detailed Description

class StateHasher

---

Member Function Documentation

size_t MaxPlusAnalysis::StateHasher::operator()

(

const State *

s

)

const [inline]

References MaxPlusAnalysis::State::hashValue().

Here is the call graph for this function:

---

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

• mpstorage.h