std::hash< smtrat::expression::NaryExpression > Struct Reference

#include <ExpressionHash.h>

Public Member Functions
std::size_t	operator() (const smtrat::expression::NaryExpression &ec) const

Detailed Description

Definition at line 88 of file ExpressionHash.h.

Member Function Documentation

operator()()

std::size_t std::hash< smtrat::expression::NaryExpression >::operator() ( const smtrat::expression::NaryExpression &  ec ) const

inline

Definition at line 89 of file ExpressionHash.h.

---

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

• smtrat-expressions/ExpressionHash.h