std::hash< std::vector< carl::Constraint< Pol > > > Struct Template Reference

Implements std::hash for vectors of constraints. More...

#include <Constraint.h>

Public Member Functions
std::size_t	operator() (const std::vector< carl::Constraint< Pol >> &arg) const

Detailed Description

template<typename Pol>
struct std::hash< std::vector< carl::Constraint< Pol > > >

Implements std::hash for vectors of constraints.

Definition at line 380 of file Constraint.h.

Member Function Documentation

operator()()

template<typename Pol >

std::size_t std::hash< std::vector< carl::Constraint< Pol > > >::operator() ( const std::vector< carl::Constraint< Pol >> &  arg ) const

inline

Parameters

arg	The vector of constraints to get the hash for.

Returns

The hash of the given vector of constraints.

Definition at line 385 of file Constraint.h.

---

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

• carl-formula/arithmetic/Constraint.h