CaDiCaL::reduce_less_useful Struct Reference

Public Member Functions
bool	operator() (const Clause *c, const Clause *d) const

Detailed Description

Definition at line 78 of file cadical_reduce.cpp.

Member Function Documentation

operator()()

bool CaDiCaL::reduce_less_useful::operator() ( const Clause * c, const Clause * d ) const

inline

Definition at line 79 of file cadical_reduce.cpp.

                                                           {
    if (c->glue > d->glue)
      return true;
    if (c->glue < d->glue)
      return false;
    return c->size > d->size;
  }

---

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

• src/sat/cadical/cadical_reduce.cpp