ClauseUtils::ClauseHash Struct Reference

Hash functor for simple clauses. More...

#include <ClauseUtils.hpp>

Collaboration diagram for ClauseUtils::ClauseHash:

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

Detailed Description

Hash functor for simple clauses.

---

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

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