term_hash Struct Reference

Hashing for terms using the Boost library. More...

#include <TermHash.hpp>

Public Member Functions
size_t	operator() (const Term &t) const

Detailed Description

Hashing for terms using the Boost library.

You need to be able to hash Terms, as the term index stores them in an unordered_map. (Well, it will eventually. This is currently unused.)

Definition at line 39 of file TermHash.hpp.

Member Function Documentation

operator()()

size_t term_hash::operator() ( const Term & t ) const

inline

Definition at line 40 of file TermHash.hpp.

                                           {
        size_t hash = 0;
        for (size_t i = 0; i < t.arity(); i++)
            boost::hash_combine(hash, t[i]);
        boost::hash_combine(hash, t.get_v());
        boost::hash_combine(hash, t.get_f());
        return hash;
    }

---

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

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/terms/TermHash.hpp