std::hash< carl::BVValue > Struct Reference

Implements std::hash for bit vector values. More...

#include <BVValue.h>

Public Member Functions
std::size_t	operator() (const carl::BVValue &_value) const

Detailed Description

Implements std::hash for bit vector values.

Definition at line 213 of file BVValue.h.

Member Function Documentation

operator()()

std::size_t std::hash< carl::BVValue >::operator() ( const carl::BVValue &  _value ) const

inline

Parameters

_value

The bit vector value to get the hash for.

Returns

The hash of the given bit vector value.

Definition at line 218 of file BVValue.h.

---

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

• carl-formula/bitvector/BVValue.h