aterm_hash.h File Reference

Go to the source code of this file.

Classes
struct	std::hash< atermpp::detail::_aterm * >
	specialization of the standard std::hash function. More...
struct	std::hash< atermpp::unprotected_aterm_core >
	specialization of the standard std::hash function. More...
struct	std::hash< atermpp::aterm_core >
	specialization of the standard std::hash function. More...
struct	atermpp::detail::aterm_hasher< N >
	Computes the hash of the given term. More...
struct	atermpp::detail::aterm_hasher_finite< N >
	Computes the hash of the given term. More...
struct	atermpp::detail::aterm_int_hasher
	Computes the hash of the integral term arguments. More...
struct	atermpp::detail::aterm_equals< N >
	Returns true iff first and second are value-equivalent. More...
struct	atermpp::detail::aterm_equals_finite< N >
struct	atermpp::detail::aterm_int_equals
	Returns true iff the given term(s) or value are equivalent. More...

Namespaces
namespace	std
	STL namespace.
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	atermpp::detail

Functions
std::size_t	atermpp::detail::combine (const std::size_t hnr, const unprotected_aterm_core &term)
	Auxiliary function to combine hnr with aterms.
template<std::size_t I = 0, typename... Tp, typename std::enable_if< I==sizeof...(Tp), void >::type * = nullptr>
std::size_t	atermpp::detail::combine_args (std::size_t seed, const Tp &...)

Variables
constexpr std::size_t	atermpp::detail::DynamicNumberOfArguments = std::numeric_limits<std::size_t>::max()
	Indicates that the number of arguments is not known at compile time.