ClauseUtils::ClauseExchangePtrEqual Struct Reference

Equality functor for ClauseExchangePtr objects. More...

#include <ClauseUtils.hpp>

Collaboration diagram for ClauseUtils::ClauseExchangePtrEqual:

Public Member Functions
bool	operator() (const ClauseExchangePtr &left, const ClauseExchangePtr &right) const

Detailed Description

Equality functor for ClauseExchangePtr objects.

---

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

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