CaDiCaL::lit_smaller Struct Reference

Public Member Functions
bool	operator() (int a, int b) const

Detailed Description

Definition at line 262 of file cadical_checker.cpp.

Member Function Documentation

operator()()

bool CaDiCaL::lit_smaller::operator() ( int a, int b ) const

inline

Definition at line 263 of file cadical_checker.cpp.

                                       {
    int c = abs (a), d = abs (b);
    if (c < d)
      return true;
    if (c > d)
      return false;
    return a < b;
  }

---

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

• src/sat/cadical/cadical_checker.cpp