CaDiCaL::Hash Struct Reference

#include <congruence.hpp>

Public Member Functions
	Hash (std::array< int, 16 > &ncs)
size_t	operator() (const Gate *const g) const

Public Attributes
std::array< int, 16 > &	nonces

Detailed Description

Definition at line 281 of file congruence.hpp.

Constructor & Destructor Documentation

Hash()

CaDiCaL::Hash::Hash ( std::array< int, 16 > & ncs )

inline

Definition at line 282 of file congruence.hpp.

: nonces (ncs) {}

Member Function Documentation

operator()()

size_t CaDiCaL::Hash::operator()

(

const Gate *const

g

)

const

Definition at line 122 of file cadical_congruence.cpp.

                                                  {
  CADICAL_assert (hash_lits (nonces, g->rhs) == g->hash);
  return g->hash;
}

Member Data Documentation

nonces

std::array<int, 16>& CaDiCaL::Hash::nonces

Definition at line 283 of file congruence.hpp.

---

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

• src/sat/cadical/congruence.hpp
• src/sat/cadical/cadical_congruence.cpp