atermpp::detail::aterm_equals< N > Struct Template Reference

Returns true iff first and second are value-equivalent. More...

#include <aterm_hash.h>

Public Types
using	is_transparent = void

Public Member Functions
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
template<typename ForwardIterator , typename std::enable_if< mcrl2::utilities::is_iterator< ForwardIterator >::value >::type * = nullptr>
bool	operator() (const _aterm &term, const function_symbol &symbol, ForwardIterator begin, ForwardIterator end) const noexcept

Detailed Description

template<std::size_t N = DynamicNumberOfArguments>
struct atermpp::detail::aterm_equals< N >

Returns true iff first and second are value-equivalent.

Can be optimized with loop unrolling when template parameter N is provided. However, this assumes that every passed to term has arity equal to N.

Definition at line 124 of file aterm_hash.h.

Member Typedef Documentation

is_transparent

template<std::size_t N = DynamicNumberOfArguments>

using atermpp::detail::aterm_equals< N >::is_transparent = void

Definition at line 126 of file aterm_hash.h.

Member Function Documentation

operator()() [1/4]

template<std::size_t N = DynamicNumberOfArguments>

bool atermpp::detail::aterm_equals< N >::operator() ( const _aterm &  first, const _aterm &  second  ) const

noexcept

operator()() [2/4]

template<std::size_t N = DynamicNumberOfArguments>

bool atermpp::detail::aterm_equals< N >::operator() ( const _aterm &  term, const function_symbol &  symbol  ) const

noexcept

operator()() [3/4]

template<std::size_t N = DynamicNumberOfArguments>

template<typename ForwardIterator , typename std::enable_if< mcrl2::utilities::is_iterator< ForwardIterator >::value >::type * = nullptr>

bool atermpp::detail::aterm_equals< N >::operator() ( const _aterm &  term, const function_symbol &  symbol, ForwardIterator  begin, ForwardIterator  end  ) const

noexcept

operator()() [4/4]

template<std::size_t N = DynamicNumberOfArguments>

bool atermpp::detail::aterm_equals< N >::operator() ( const _aterm &  term, const function_symbol &  symbol, unprotected_aterm_core  arguments[]  ) const

noexcept

---

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

• atermpp/include/mcrl2/atermpp/detail/aterm_hash.h