countref Struct Reference

Public Attributes
unsigned	vivify: 1
unsigned	size: LD_MAX_COUNTREF_SIZE
unsigned	count [COUNTREF_COUNTS]
reference	ref

Detailed Description

Definition at line 142 of file vivify.c.

Member Data Documentation

count

unsigned countref::count[COUNTREF_COUNTS]

Definition at line 145 of file vivify.c.

ref

reference countref::ref

Definition at line 146 of file vivify.c.

size

unsigned countref::size

Definition at line 144 of file vivify.c.

vivify

unsigned countref::vivify

Definition at line 143 of file vivify.c.

---

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

• src/sat/kissat/vivify.c