CaDiCaL::sweep_candidate Struct Reference

Public Attributes
unsigned	rank
int	idx

Detailed Description

Definition at line 1709 of file cadical_sweep.cpp.

Member Data Documentation

idx

int CaDiCaL::sweep_candidate::idx

Definition at line 1711 of file cadical_sweep.cpp.

rank

unsigned CaDiCaL::sweep_candidate::rank

Definition at line 1710 of file cadical_sweep.cpp.

---

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

• src/sat/cadical/cadical_sweep.cpp