CaDiCaL::clause_covered_or_smaller Struct Reference

Public Member Functions
bool	operator() (const Clause *a, const Clause *b)

Detailed Description

Definition at line 473 of file cadical_cover.cpp.

Member Function Documentation

operator()()

bool CaDiCaL::clause_covered_or_smaller::operator() ( const Clause * a, const Clause * b )

inline

Definition at line 474 of file cadical_cover.cpp.

                                                     {
    if (a->covered && !b->covered)
      return true;
    if (!a->covered && b->covered)
      return false;
    return a->size < b->size;
  }

---

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

• src/sat/cadical/cadical_cover.cpp