ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
CaDiCaL::sort_literals_by_var_rank Struct Reference
Collaboration diagram for CaDiCaL::sort_literals_by_var_rank:
Collaboration graph
[legend]

Public Types

typedef uint64_t Type
 

Public Member Functions

 sort_literals_by_var_rank (Internal *i)
 
Type operator() (const int &a) const
 

Public Attributes

CaDiCaL::Internal * internal
 

Detailed Description

Definition at line 334 of file cadical_congruence.cpp.

Member Typedef Documentation

◆ Type

typedef uint64_t CaDiCaL::sort_literals_by_var_rank::Type

Definition at line 338 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

◆ sort_literals_by_var_rank()

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

Definition at line 336 of file cadical_congruence.cpp.

336: internal (i) {}
CaDiCaL::sort_literals_by_var_rank::internal
CaDiCaL::Internal * internal
Definition cadical_congruence.cpp:335

Member Function Documentation

◆ operator()()

Type CaDiCaL::sort_literals_by_var_rank::operator() ( const int & a) const
inline

Definition at line 340 of file cadical_congruence.cpp.

340{ return internal->vlit (a); }

Member Data Documentation

◆ internal

CaDiCaL::Internal* CaDiCaL::sort_literals_by_var_rank::internal

Definition at line 335 of file cadical_congruence.cpp.

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