SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
std::hash_combiner Struct Reference

#include <ExpressionHash.h>

Public Member Functions

 hash_combiner (std::size_t _seed=0)
 
hash_combineroperator() (std::size_t h)
 
template<typename T >
hash_combineroperator() (const T &t)
 
 operator std::size_t () const
 

Data Fields

std::size_t seed
 

Detailed Description

Definition at line 31 of file ExpressionHash.h.

Constructor & Destructor Documentation

◆ hash_combiner()

std::hash_combiner::hash_combiner ( std::size_t  _seed = 0)
inline

Definition at line 33 of file ExpressionHash.h.

Member Function Documentation

◆ operator std::size_t()

std::hash_combiner::operator std::size_t ( ) const
inline

Definition at line 43 of file ExpressionHash.h.

◆ operator()() [1/2]

template<typename T >
hash_combiner& std::hash_combiner::operator() ( const T &  t)
inline

Definition at line 39 of file ExpressionHash.h.

◆ operator()() [2/2]

hash_combiner& std::hash_combiner::operator() ( std::size_t  h)
inline

Definition at line 34 of file ExpressionHash.h.

Field Documentation

◆ seed

std::size_t std::hash_combiner::seed

Definition at line 32 of file ExpressionHash.h.


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