CaDiCaL::rank_sweep_candidate Struct Reference

Public Member Functions
bool	operator() (sweep_candidate a, sweep_candidate b) const

Detailed Description

Definition at line 1714 of file cadical_sweep.cpp.

Member Function Documentation

operator()()

bool CaDiCaL::rank_sweep_candidate::operator() ( sweep_candidate a, sweep_candidate b ) const

inline

Definition at line 1715 of file cadical_sweep.cpp.

                                                               {
    CADICAL_assert (a.rank && b.rank);
    CADICAL_assert (a.idx > 0 && b.idx > 0);
    if (a.rank < b.rank)
      return true;
    if (b.rank < a.rank)
      return false;
    return a.idx < b.idx;
  }

---

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

• src/sat/cadical/cadical_sweep.cpp