fun_hash Struct Reference

Hashing for functions using the Boost library for hashing. More...

#include <FunctionHash.hpp>

Public Member Functions
size_t	operator() (const pair< string, Arity > &f) const

Detailed Description

Hashing for functions using the Boost library for hashing.

You need to be able to hash pairs of function name and arity, as the function index stores them in an unordered_map.

Definition at line 43 of file FunctionHash.hpp.

Member Function Documentation

operator()()

size_t fun_hash::operator() ( const pair< string, Arity > & f ) const

inline

Definition at line 44 of file FunctionHash.hpp.

                                                          {
        size_t hash = 0;
        boost::hash_combine(hash, f.first);
        boost::hash_combine(hash, f.second);
        return hash;
    }

---

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

• /Users/sbh11/Desktop/connection-prover/c++/connect++/v0.5.0/source/terms/FunctionHash.hpp