|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
#include <hash.hpp>
Public Types | |
using | result_type = typename HashAlgorithm::result_type |
Public Member Functions | |
template<class T > | |
result_type | operator() (const T &item) const noexcept |
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
.
InvocableHashAlgorithm | type of the hash algorithm to use. |