reducible Struct Reference

Public Attributes
uint64_t	rank
unsigned	ref

Detailed Description

Definition at line 28 of file reduce.c.

Member Data Documentation

rank

uint64_t reducible::rank

Definition at line 29 of file reduce.c.

ref

unsigned reducible::ref

Definition at line 30 of file reduce.c.

---

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

• src/sat/kissat/reduce.c