std::hash< atermpp::term_list< Term > > Struct Template Reference

The standard hash class. More...

#include <aterm_list.h>

Public Member Functions
std::size_t	operator() (const atermpp::term_list< Term > &l) const
	A specialization of the standard std::hash function.

Detailed Description

template<class Term>
struct std::hash< atermpp::term_list< Term > >

The standard hash class.

Definition at line 579 of file aterm_list.h.

Member Function Documentation

operator()()

template<class Term >

std::size_t std::hash< atermpp::term_list< Term > >::operator() ( const atermpp::term_list< Term > &  l ) const

inline

A specialization of the standard std::hash function.

Parameters

l	The list for which a hash value is calculated.

Returns

A hash value for l.

Definition at line 584 of file aterm_list.h.

---

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

• atermpp/include/mcrl2/atermpp/aterm_list.h