mcrl2::lps::detail::cache_equality Struct Reference

#include <explorer.h>

Public Member Functions
bool	operator() (const atermpp::aterm &key1, const atermpp::aterm &key2) const
bool	operator() (const atermpp::aterm &key1, const cheap_cache_key &key2) const

Detailed Description

Definition at line 285 of file explorer.h.

Member Function Documentation

operator()() [1/2]

bool mcrl2::lps::detail::cache_equality::operator() ( const atermpp::aterm &  key1, const atermpp::aterm &  key2  ) const

inline

Definition at line 287 of file explorer.h.

operator()() [2/2]

bool mcrl2::lps::detail::cache_equality::operator() ( const atermpp::aterm &  key1, const cheap_cache_key &  key2  ) const

inline

Definition at line 292 of file explorer.h.

---

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

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