CaDiCaL::vivify_flush_smaller Struct Reference

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

Detailed Description

Definition at line 442 of file cadical_vivify.cpp.

Member Function Documentation

operator()()

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

inline

Definition at line 444 of file cadical_vivify.cpp.

                                               {
 
    const auto eoa = a->end (), eob = b->end ();
    auto i = a->begin (), j = b->begin ();
    for (; i != eoa && j != eob; i++, j++)
      if (*i != *j)
        return *i < *j;
 
    return j == eob && i != eoa;
  }

Here is the call graph for this function:

---

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

• src/sat/cadical/cadical_vivify.cpp