ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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: