CaDiCaL::litpair_smaller Struct Reference

Collaboration diagram for CaDiCaL::litpair_smaller:

Public Member Functions
	litpair_smaller (Internal *i)
bool	operator() (const lit_implication &a, const lit_implication &b) const

Public Attributes
CaDiCaL::Internal *	internal

Detailed Description

Definition at line 7076 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

litpair_smaller()

CaDiCaL::litpair_smaller::litpair_smaller ( Internal * i )

inline

Definition at line 7078 of file cadical_congruence.cpp.

: internal (i) {}

Member Function Documentation

operator()()

bool CaDiCaL::litpair_smaller::operator() ( const lit_implication & a, const lit_implication & b ) const

inline

Definition at line 7079 of file cadical_congruence.cpp.

                                                   {
    const auto s = litpair_rank (internal) (a);
    const auto t = litpair_rank (internal) (b);
    return s < t;
  }

Member Data Documentation

internal

CaDiCaL::Internal* CaDiCaL::litpair_smaller::internal

Definition at line 7077 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp