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

Public Member Functions

 sort_literals_by_var_smaller (Internal *i)
 
bool operator() (const int &a, const int &b) const
 

Public Attributes

CaDiCaL::Internalinternal
 

Detailed Description

Definition at line 386 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

◆ sort_literals_by_var_smaller()

CaDiCaL::sort_literals_by_var_smaller::sort_literals_by_var_smaller ( Internal * i)
inline

Definition at line 388 of file cadical_congruence.cpp.

388: internal (i) {}

Member Function Documentation

◆ operator()()

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

Definition at line 389 of file cadical_congruence.cpp.

389 {
390 return sort_literals_by_var_rank (internal) (a) <
391 sort_literals_by_var_rank (internal) (b);
392 }

Member Data Documentation

◆ internal

CaDiCaL::Internal* CaDiCaL::sort_literals_by_var_smaller::internal

Definition at line 387 of file cadical_congruence.cpp.


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