CaDiCaL::less_conditioned Struct Reference

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

Detailed Description

Definition at line 149 of file cadical_condition.cpp.

Member Function Documentation

operator()()

bool CaDiCaL::less_conditioned::operator() ( Clause * a, Clause * b )

inline

Definition at line 150 of file cadical_condition.cpp.

                                         {
    return !a->conditioned && b->conditioned;
  }

---

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

• src/sat/cadical/cadical_condition.cpp