#include <aterm_hash.h>

Inheritance diagram for atermpp::detail::aterm_equals_finite< N >:

Public Member Functions
bool	operator() (const _aterm &term, const function_symbol &symbol, std::array< unprotected_aterm_core, N > key) const noexcept

template<typename ... Args>
bool	operator() (const _aterm &term, const function_symbol &symbol, const Args &... args) const noexcept

Public Member Functions inherited from atermpp::detail::aterm_equals< N >
bool	operator() (const _aterm &first, const _aterm &second) const noexcept

bool	operator() (const _aterm &term, const function_symbol &symbol) const noexcept

bool	operator() (const _aterm &term, const function_symbol &symbol, unprotected_aterm_core arguments[]) const noexcept

bool	operator() (const _aterm &term, const function_symbol &symbol, ForwardIterator begin, ForwardIterator end) const noexcept

Additional Inherited Members
Public Types inherited from atermpp::detail::aterm_equals< N >
using	is_transparent = void

Detailed Description

template<std::size_t N>
struct atermpp::detail::aterm_equals_finite< N >

Definition at line 138 of file aterm_hash.h.

Member Function Documentation

template<std::size_t N>

template<typename ... Args>

bool atermpp::detail::aterm_equals_finite< N >::operator()	(	const _aterm &	term,
		const function_symbol &	symbol,
		const Args &...	args
	)		const

noexcept

template<std::size_t N>

bool atermpp::detail::aterm_equals_finite< N >::operator()	(	const _aterm &	term,
		const function_symbol &	symbol,
		std::array< unprotected_aterm_core, N >	key
	)		const

noexcept

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