25#ifndef FUNCTIONHASH_HPP
26#define FUNCTIONHASH_HPP
30#include <boost/container_hash/hash.hpp>
32#include "BasicTypes.hpp"
44 size_t operator()(
const pair<string, Arity>& f)
const {
46 boost::hash_combine(hash, f.first);
47 boost::hash_combine(hash, f.second);
Hashing for functions using the Boost library for hashing.