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

Public Member Functions

 congruence_occurrences_larger (Internal *s)
 
bool operator() (const int &a, const int &b) const
 

Public Attributes

Internalinternal
 

Detailed Description

Definition at line 3216 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

◆ congruence_occurrences_larger()

CaDiCaL::congruence_occurrences_larger::congruence_occurrences_larger ( Internal * s)
inline

Definition at line 3218 of file cadical_congruence.cpp.

Member Function Documentation

◆ operator()()

bool CaDiCaL::congruence_occurrences_larger::operator() ( const int & a,
const int & b ) const
inline

Definition at line 3219 of file cadical_congruence.cpp.

3219 {
3220 return congruence_occurrences_rank (internal) (a) <
3221 congruence_occurrences_rank (internal) (b);
3222 }

Member Data Documentation

◆ internal

Internal* CaDiCaL::congruence_occurrences_larger::internal

Definition at line 3217 of file cadical_congruence.cpp.


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