ClauseUtils::ClauseExchangeEqual Struct Reference

Equality functor for ClauseExchange objects. More...

#include <ClauseUtils.hpp>

Collaboration diagram for ClauseUtils::ClauseExchangeEqual:

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

Detailed Description

Equality functor for ClauseExchange objects.

Implements a commutative equality check based on the Mallob ProducedClauseEqualsCommutative.

---

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

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