scores Struct Reference

Public Attributes
double *	score
unsigneds	scored

Detailed Description

Definition at line 39 of file factor.c.

Member Data Documentation

score

double* scores::score

Definition at line 40 of file factor.c.

scored

unsigneds scores::scored

Definition at line 41 of file factor.c.

---

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

• src/sat/kissat/factor.c