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

Implements std::hash for uninterpreted function model. More...

#include <UFModel.h>

Public Member Functions
std::size_t	operator() (const carl::UFModel &ufm) const

Detailed Description

Implements std::hash for uninterpreted function model.

Definition at line 78 of file UFModel.h.

Member Function Documentation

operator()()

std::size_t std::hash< carl::UFModel >::operator() ( const carl::UFModel &  ufm ) const

inline

Parameters

ufm	The uninterpreted function model to get the hash for.

Returns

The hash of the given uninterpreted function model.

Definition at line 83 of file UFModel.h.

Here is the call graph for this function:

---

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

• carl-formula/uninterpreted/UFModel.h