CaDiCaL::compact_binary_order Struct Reference

Public Member Functions
bool	operator() (const CompactBinary &a, const CompactBinary &b)

Detailed Description

Definition at line 138 of file cadical_congruence.cpp.

Member Function Documentation

operator()()

bool CaDiCaL::compact_binary_order::operator() ( const CompactBinary & a, const CompactBinary & b )

inline

Definition at line 139 of file cadical_congruence.cpp.

                                                                   {
    return compact_binary_rank () (a) < compact_binary_rank () (b);
  };

---

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

• src/sat/cadical/cadical_congruence.cpp