atermpp::detail::function_symbol_equals Struct Reference

True iff the given function symbols are equal to eachother or to the given key. More...

#include <function_symbol_hash.h>

Public Types
using	is_transparent = void

Public Member Functions
bool	operator() (const _function_symbol &first, const _function_symbol &second) const noexcept
bool	operator() (const _function_symbol &symbol, const std::string &name, std::size_t arity) const noexcept

Detailed Description

True iff the given function symbols are equal to eachother or to the given key.

Definition at line 64 of file function_symbol_hash.h.

Member Typedef Documentation

is_transparent

using atermpp::detail::function_symbol_equals::is_transparent = void

Definition at line 66 of file function_symbol_hash.h.

Member Function Documentation

operator()() [1/2]

bool atermpp::detail::function_symbol_equals::operator() ( const _function_symbol &  first, const _function_symbol &  second  ) const

inlinenoexcept

Definition at line 85 of file function_symbol_hash.h.

operator()() [2/2]

bool atermpp::detail::function_symbol_equals::operator() ( const _function_symbol &  symbol, const std::string &  name, std::size_t  arity  ) const

inlinenoexcept

Definition at line 90 of file function_symbol_hash.h.

---

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

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