Public Member Functions
std::hash< Term * > Struct Template Reference

List of all members.

Public Member Functions

size_t operator() (const Term *const &x) const

template<>
struct std::hash< Term * >


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