hash_ref Struct Reference

Public Attributes
unsigned	hash
reference	ref

Detailed Description

Definition at line 89 of file congruence.c.

Member Data Documentation

hash

unsigned hash_ref::hash

Definition at line 90 of file congruence.c.

ref

reference hash_ref::ref

Definition at line 91 of file congruence.c.

---

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

• src/sat/kissat/congruence.c