mcrl2::lps::detail::cache_hash Struct Reference

#include <explorer.h>

Public Member Functions
std::size_t	operator() (const std::pair< const atermpp::aterm, std::list< atermpp::term_list< mcrl2::data::data_expression > > > &pair) const
std::size_t	operator() (const atermpp::aterm &key) const
std::size_t	operator() (const cheap_cache_key &key) const

Detailed Description

Definition at line 307 of file explorer.h.

Member Function Documentation

operator()() [1/3]

std::size_t mcrl2::lps::detail::cache_hash::operator() ( const atermpp::aterm &  key ) const

inline

Definition at line 315 of file explorer.h.

operator()() [2/3]

std::size_t mcrl2::lps::detail::cache_hash::operator() ( const cheap_cache_key &  key ) const

inline

Definition at line 325 of file explorer.h.

operator()() [3/3]

std::size_t mcrl2::lps::detail::cache_hash::operator() ( const std::pair< const atermpp::aterm, std::list< atermpp::term_list< mcrl2::data::data_expression > > > &  pair ) const

inline

Definition at line 309 of file explorer.h.

---

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

• lps/include/mcrl2/lps/explorer.h