CaDiCaL::HashId Struct Reference

#include <veripbtracer.hpp>

Collaboration diagram for CaDiCaL::HashId:

Public Attributes
HashId *	next
uint64_t	hash
int64_t	id

Detailed Description

Definition at line 12 of file veripbtracer.hpp.

Member Data Documentation

hash

uint64_t CaDiCaL::HashId::hash

Definition at line 14 of file veripbtracer.hpp.

id

int64_t CaDiCaL::HashId::id

Definition at line 15 of file veripbtracer.hpp.

next

HashId* CaDiCaL::HashId::next

Definition at line 13 of file veripbtracer.hpp.

---

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

• src/sat/cadical/veripbtracer.hpp