carl  24.04
Computer ARithmetic Library
std::hash< carl::VariableAssignment< Pol > > Struct Template Reference

#include <VariableAssignment.h>

Public Member Functions

std::size_t operator() (const carl::VariableAssignment< Pol > &va) const
 

Detailed Description

template<typename Pol>
struct std::hash< carl::VariableAssignment< Pol > >

Definition at line 67 of file VariableAssignment.h.

Member Function Documentation

◆ operator()()

template<typename Pol >
std::size_t std::hash< carl::VariableAssignment< Pol > >::operator() ( const carl::VariableAssignment< Pol > &  va) const
inline

Definition at line 68 of file VariableAssignment.h.


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