carl  24.04
Computer ARithmetic Library
std::hash< carl::SortValue > Struct Reference

Implements std::hash for sort value. More...

#include <SortValue.h>

Public Member Functions

std::size_t operator() (const carl::SortValue &sv) const
 

Detailed Description

Implements std::hash for sort value.

Definition at line 94 of file SortValue.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< carl::SortValue >::operator() ( const carl::SortValue sv) const
inline
Parameters
svThe sort value to get the hash for.
Returns
The hash of the given sort value.

Definition at line 99 of file SortValue.h.

Here is the call graph for this function:

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