smtrat::vs::substitutionPointerHash Struct Reference

#include <Substitution.h>

Public Member Functions
size_t	operator() (const Substitution *_substitution) const

Detailed Description

Definition at line 217 of file Substitution.h.

Member Function Documentation

operator()()

size_t smtrat::vs::substitutionPointerHash::operator() ( const Substitution *  _substitution ) const

inline

Definition at line 219 of file Substitution.h.

---

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

• smtrat-modules/VSModule/Substitution.h