std::hash< mcrl2::pbes_system::propositional_variable_instantiation > Struct Reference

#include <pbes_expression.h>

Public Member Functions
std::size_t	operator() (const mcrl2::pbes_system::propositional_variable_instantiation &x) const

Detailed Description

Definition at line 1473 of file pbes_expression.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::pbes_system::propositional_variable_instantiation >::operator() ( const mcrl2::pbes_system::propositional_variable_instantiation &  x ) const

inline

Definition at line 1475 of file pbes_expression.h.

---

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

• pbes/include/mcrl2/pbes/pbes_expression.h