CaDiCaL::congruence_occurrences_rank Struct Reference

Collaboration diagram for CaDiCaL::congruence_occurrences_rank:

Public Types
typedef uint64_t	Type

Public Member Functions
	congruence_occurrences_rank (Internal *s)
Type	operator() (int a)

Public Attributes
Internal *	internal

Detailed Description

Definition at line 3204 of file cadical_congruence.cpp.

Member Typedef Documentation

Type

typedef uint64_t CaDiCaL::congruence_occurrences_rank::Type

Definition at line 3207 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

congruence_occurrences_rank()

CaDiCaL::congruence_occurrences_rank::congruence_occurrences_rank ( Internal * s )

inline

Definition at line 3206 of file cadical_congruence.cpp.

: internal (s) {}

Member Function Documentation

operator()()

Type CaDiCaL::congruence_occurrences_rank::operator() ( int a )

inline

Definition at line 3208 of file cadical_congruence.cpp.

                          {
    uint64_t res = internal->noccs (-a);
    res <<= 32;
    res |= a;
    return res;
  }

Member Data Documentation

internal

Internal* CaDiCaL::congruence_occurrences_rank::internal

Definition at line 3205 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp