Public Member Functions
	vivify_refcount_smaller (int j)

bool	operator() (const vivify_ref &a, const vivify_ref &b) const

Public Attributes
int	offset

Detailed Description

Definition at line 1542 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

◆ vivify_refcount_smaller()

CaDiCaL::vivify_refcount_smaller::vivify_refcount_smaller ( int j )

inline

Definition at line 1544 of file cadical_vivify.cpp.

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

Member Function Documentation

◆ operator()()

bool CaDiCaL::vivify_refcount_smaller::operator()	(	const vivify_ref &	a,
		const vivify_ref &	b ) const

inline

Definition at line 1547 of file cadical_vivify.cpp.

                                                                   {
    const auto s = vivify_refcount_rank (offset) (a);
    const auto t = vivify_refcount_rank (offset) (b);
    return s < t;
  }

Member Data Documentation

◆ offset

int CaDiCaL::vivify_refcount_smaller::offset

Definition at line 1543 of file cadical_vivify.cpp.

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

src/sat/cadical/cadical_vivify.cpp

Public Member Functions