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

typedef uint64_t CaDiCaL::vivify_refcount_rank::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.

                               : offset (j) {
    CADICAL_assert (offset < COUNTREF_COUNTS);
  }

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.

{ 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:

• src/sat/cadical/cadical_vivify.cpp