CaDiCaL::GateEqualTo Struct Reference

#include <congruence.hpp>

Public Member Functions
bool	operator() (const Gate *const lhs, const Gate *const rhs) const

Detailed Description

Definition at line 266 of file congruence.hpp.

Member Function Documentation

operator()()

bool CaDiCaL::GateEqualTo::operator() ( const Gate *const lhs, const Gate *const rhs ) const

inline

Definition at line 267 of file congruence.hpp.

                                                                       {
    return lhs->rhs == rhs->rhs && lhs->tag == rhs->tag;
  }

---

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

• src/sat/cadical/congruence.hpp