ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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.

267 {
268 return lhs->rhs == rhs->rhs && lhs->tag == rhs->tag;
269 }

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