CaDiCaL::compact_binary_rank Struct Reference

Public Types
typedef uint64_t	Type

Public Member Functions
uint64_t	operator() (const CompactBinary &a)

Detailed Description

Definition at line 131 of file cadical_congruence.cpp.

Member Typedef Documentation

Type

typedef uint64_t CaDiCaL::compact_binary_rank::Type

Definition at line 132 of file cadical_congruence.cpp.

Member Function Documentation

operator()()

uint64_t CaDiCaL::compact_binary_rank::operator() ( const CompactBinary & a )

inline

Definition at line 133 of file cadical_congruence.cpp.

                                               {
    return ((uint64_t) a.lit1 << 32) + a.lit2;
  };

---

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

• src/sat/cadical/cadical_congruence.cpp