storm::expressions::SimpleValuationPointerHash Class Reference

A helper class that can pe used as the hash functor for data structures that need to hash valuations given via pointers. More...

#include <SimpleValuation.h>

Public Member Functions
std::size_t	operator() (SimpleValuation *valuation) const

Detailed Description

A helper class that can pe used as the hash functor for data structures that need to hash valuations given via pointers.

Definition at line 97 of file SimpleValuation.h.

Member Function Documentation

operator()()

std::size_t storm::expressions::SimpleValuationPointerHash::operator()

(

SimpleValuation *

valuation

)

const

Definition at line 211 of file SimpleValuation.cpp.

---

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

• src/storm/storage/expressions/SimpleValuation.h
• src/storm/storage/expressions/SimpleValuation.cpp