ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::compact_binary_order Struct Reference

Public Member Functions

bool operator() (const CompactBinary &a, const CompactBinary &b)
 

Detailed Description

Definition at line 138 of file cadical_congruence.cpp.

Member Function Documentation

◆ operator()()

bool CaDiCaL::compact_binary_order::operator() ( const CompactBinary & a,
const CompactBinary & b )
inline

Definition at line 139 of file cadical_congruence.cpp.

139 {
140 return compact_binary_rank () (a) < compact_binary_rank () (b);
141 };

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