std::hash< carl::FormulaContent< Pol > > Struct Template Reference

Implements std::hash for formula contents. More...

#include <Formula.h>

Public Member Functions
std::size_t	operator() (const carl::FormulaContent< Pol > &_formulaContent) const

Detailed Description

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

Implements std::hash for formula contents.

Definition at line 787 of file Formula.h.

Member Function Documentation

operator()()

template<typename Pol >

std::size_t std::hash< carl::FormulaContent< Pol > >::operator() ( const carl::FormulaContent< Pol > &  _formulaContent ) const

inline

Parameters

_formulaContent

The formula content to get the hash for.

Returns

The hash of the given formula content.

Definition at line 794 of file Formula.h.

Here is the call graph for this function:

---

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

• carl-formula/formula/Formula.h