CaDiCaL::clause_smaller_size Struct Reference

#include <clause.hpp>

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

Detailed Description

Definition at line 169 of file clause.hpp.

Member Function Documentation

operator()()

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

inline

Definition at line 170 of file clause.hpp.

                                                     {
    return a->size < b->size;
  }

---

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

• src/sat/cadical/clause.hpp