std::hash< carl::UTerm > Struct Reference

Implements std::hash for uninterpreted terms. More...

#include <UTerm.h>

Public Member Functions
std::size_t	operator() (const carl::UTerm &ut) const

Detailed Description

Implements std::hash for uninterpreted terms.

Definition at line 116 of file UTerm.h.

Member Function Documentation

operator()()

std::size_t std::hash< carl::UTerm >::operator() ( const carl::UTerm &  ut ) const

inline

Parameters

ut	The uninterpreted term to get the hash for.

Returns

The hash of the given uninterpreted term.

Definition at line 121 of file UTerm.h.

Here is the call graph for this function:

---

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

• carl-formula/uninterpreted/UTerm.h