sweep_candidate Struct Reference

Public Attributes
unsigned	rank
unsigned	idx

Detailed Description

Definition at line 1467 of file sweep.c.

Member Data Documentation

idx

unsigned sweep_candidate::idx

Definition at line 1469 of file sweep.c.

rank

unsigned sweep_candidate::rank

Definition at line 1468 of file sweep.c.

---

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

• src/sat/kissat/sweep.c