CaDiCaL::litpair_rank Struct Reference

Collaboration diagram for CaDiCaL::litpair_rank:

Public Types
typedef uint64_t	Type

Public Member Functions
	litpair_rank (Internal *i)
Type	operator() (const lit_implication &a) const

Public Attributes
CaDiCaL::Internal *	internal

Detailed Description

Definition at line 7065 of file cadical_congruence.cpp.

Member Typedef Documentation

Type

typedef uint64_t CaDiCaL::litpair_rank::Type

Definition at line 7068 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

litpair_rank()

CaDiCaL::litpair_rank::litpair_rank ( Internal * i )

inline

Definition at line 7067 of file cadical_congruence.cpp.

: internal (i) {}

Member Function Documentation

operator()()

Type CaDiCaL::litpair_rank::operator() ( const lit_implication & a ) const

inline

Definition at line 7069 of file cadical_congruence.cpp.

                                                   {
    uint64_t lita = internal->vlit (a.first);
    uint64_t litb = internal->vlit (a.second);
    return (lita << 32) + litb;
  }

Member Data Documentation

internal

CaDiCaL::Internal* CaDiCaL::litpair_rank::internal

Definition at line 7066 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp