candidate Struct Reference

Public Attributes
unsigned	pivot
unsigned	score

Detailed Description

Definition at line 814 of file fastel.c.

Member Data Documentation

pivot

unsigned candidate::pivot

Definition at line 815 of file fastel.c.

score

unsigned candidate::score

Definition at line 816 of file fastel.c.

---

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

• src/sat/kissat/fastel.c