carl  24.04
Computer ARithmetic Library
Public Member Functions
std::hash< carl::UninterpretedFunction > Struct Reference

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

#include <UninterpretedFunction.h>

Public Member Functions

std::size_t operator() (const carl::UninterpretedFunction &uf) const
 

Detailed Description

Implements std::hash for uninterpreted functions.

Definition at line 106 of file UninterpretedFunction.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< carl::UninterpretedFunction >::operator() ( const carl::UninterpretedFunction &  uf) const
inline
Parameters
ufThe uninterpreted function to get the hash for.
Returns
The hash of the given uninterpreted function.

Definition at line 111 of file UninterpretedFunction.h.

Here is the call graph for this function:
The documentation for this struct was generated from the following file: