CaDiCaL::vivify_inversesize_smaller Struct Reference

Public Member Functions
	vivify_inversesize_smaller ()
bool	operator() (const vivify_ref &a, const vivify_ref &b) const

Detailed Description

Definition at line 1560 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

vivify_inversesize_smaller()

CaDiCaL::vivify_inversesize_smaller::vivify_inversesize_smaller ( )

inline

Definition at line 1561 of file cadical_vivify.cpp.

{}

Member Function Documentation

operator()()

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

inline

Definition at line 1562 of file cadical_vivify.cpp.

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

---

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

• src/sat/cadical/cadical_vivify.cpp