ClauseUtils::ClauseExchangePtrHash Struct Reference

Hash functor for ClauseExchangePtr objects. More...

#include <ClauseUtils.hpp>

Collaboration diagram for ClauseUtils::ClauseExchangePtrHash:

Public Member Functions
std::size_t	operator() (const ClauseExchangePtr &clause) const

Detailed Description

Hash functor for ClauseExchangePtr objects.

---

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

• /github/workspace/src/containers/ClauseUtils.hpp