smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::uhash< HashAlgorithm > Struct Template Reference

#include <hash.hpp>

Inheritance diagram for smats::uhash< HashAlgorithm >:
std::hash< smats::Expression< T > > std::hash< smats::Variable > std::hash< smats::Variables >

Public Types

using result_type = typename HashAlgorithm::result_type
 

Public Member Functions

template<class T >
result_type operator() (const T &item) const noexcept
 

Detailed Description

template<class HashAlgorithm>
struct smats::uhash< HashAlgorithm >

Hash functor

It behaves like std::hash, producing a hash value for a given item of type T, applying hash_append to it. How the has is calculated depends on the HashAlgorithm.

Template Parameters
InvocableHashAlgorithmtype of the hash algorithm to use.

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