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

Implement std::hash for bitvector variables. More...

#include <BVVariable.h>

Public Member Functions

std::size_t operator() (const carl::BVVariable &v) const
 

Detailed Description

Implement std::hash for bitvector variables.

Definition at line 95 of file BVVariable.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< carl::BVVariable >::operator() ( const carl::BVVariable &  v) const
inline
Parameters
vThe bitvector variable to get the hash for.
Returns
The hash of the given bitvector variable.

Definition at line 100 of file BVVariable.h.

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