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

Public Types

typedef uint64_t Type
 

Public Member Functions

 vivify_refcount_rank (int j)
 
Type operator() (const vivify_ref &a) const
 

Public Attributes

int offset
 

Detailed Description

Definition at line 1533 of file cadical_vivify.cpp.

Member Typedef Documentation

◆ Type

Definition at line 1538 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

◆ vivify_refcount_rank()

CaDiCaL::vivify_refcount_rank::vivify_refcount_rank ( int j)
inline

Definition at line 1535 of file cadical_vivify.cpp.

1535 : offset (j) {
1537 }
#define CADICAL_assert(ignore)
Definition global.h:14
#define COUNTREF_COUNTS
Definition vivify.hpp:20

Member Function Documentation

◆ operator()()

Type CaDiCaL::vivify_refcount_rank::operator() ( const vivify_ref & a) const
inline

Definition at line 1539 of file cadical_vivify.cpp.

1539{ return a.count[offset]; }

Member Data Documentation

◆ offset

int CaDiCaL::vivify_refcount_rank::offset

Definition at line 1534 of file cadical_vivify.cpp.


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