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

Implements std::hash for formulas. More...

#include <Formula.h>

Public Member Functions
std::size_t	operator() (const carl::Formula< Pol > &_formula) const

Detailed Description

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

Implements std::hash for formulas.

Definition at line 804 of file Formula.h.

Member Function Documentation

operator()()

template<typename Pol >

std::size_t std::hash< carl::Formula< Pol > >::operator() ( const carl::Formula< Pol > &  _formula ) const

inline

Parameters

_formula

The formula to get the hash for.

Returns

The hash of the given formula.

Definition at line 811 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