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

Implements std::hash for bit-vector constraints. More...

#include <BVConstraint.h>

Public Member Functions

std::size_t operator() (const carl::BVConstraint &c) const
 

Detailed Description

Implements std::hash for bit-vector constraints.

Definition at line 131 of file BVConstraint.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< carl::BVConstraint >::operator() ( const carl::BVConstraint &  c) const
inline
Parameters
_constraintThe bit-vector constraint to get the hash for.
Returns
The hash of the given constraint.

Definition at line 136 of file BVConstraint.h.

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