Connect++ 0.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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.


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