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 85 of file SimpleValuation.h.

Member Function Documentation

operator()()

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

(

SimpleValuation *

valuation

)

const

Definition at line 175 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