offsetsize Struct Reference

Public Attributes
unsigned	offset
unsigned	size

Detailed Description

Definition at line 2183 of file congruence.c.

Member Data Documentation

offset

unsigned offsetsize::offset

Definition at line 2184 of file congruence.c.

size

unsigned offsetsize::size

Definition at line 2184 of file congruence.c.

---

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

• src/sat/kissat/congruence.c