smtrat::cadcells::datastructures::property_hash< T > Struct Template Reference

#include <properties.h>

Public Member Functions
std::size_t	operator() (const T &p) const

Detailed Description

template<typename T>
struct smtrat::cadcells::datastructures::property_hash< T >

Definition at line 10 of file properties.h.

Member Function Documentation

operator()()

template<typename T >

std::size_t smtrat::cadcells::datastructures::property_hash< T >::operator() ( const T &  p ) const

inline

Definition at line 11 of file properties.h.

---

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

• smtrat-cadcells/datastructures/properties.h