refsize Struct Reference

Public Attributes
reference	ref
unsigned	size

Detailed Description

Definition at line 4444 of file congruence.c.

Member Data Documentation

ref

reference refsize::ref

Definition at line 4445 of file congruence.c.

size

unsigned refsize::size

Definition at line 4446 of file congruence.c.

---

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

• src/sat/kissat/congruence.c