pulsatrix::datalog::TermHash Struct Reference

Hash functor for Term, for use in std::unordered_map/std::unordered_set. More...

#include <datalog_term.hpp>

Public Member Functions
std::size_t	operator() (const Term &term) const

Detailed Description

Hash functor for Term, for use in std::unordered_map/std::unordered_set.

Member Function Documentation

operator()()

std::size_t pulsatrix::datalog::TermHash::operator() ( const Term &  term ) const

inline

---

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

• include/pulsatrix/datalog_term.hpp