CaDiCaL::clause_lit_less_than Struct Reference

#include <clause.hpp>

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

Detailed Description

Definition at line 182 of file clause.hpp.

Member Function Documentation

operator()()

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

inline

Definition at line 183 of file clause.hpp.

                                       {
    using namespace std;
    int s = abs (a), t = abs (b);
    return s < t || (s == t && a < b);
  }

---

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

• src/sat/cadical/clause.hpp