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

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

#include <UVariable.h>

Public Member Functions

std::size_t operator() (carl::UVariable uvar) const
 

Detailed Description

Implements std::hash for uninterpreted variables.

Definition at line 104 of file UVariable.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< carl::UVariable >::operator() ( carl::UVariable  uvar) const
inline
Parameters
uvarThe uninterpreted variable to get the hash for.
Returns
The hash of the given uninterpreted variable.

Definition at line 110 of file UVariable.h.

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