abc-master
|
Data Fields | |
int | nMultiSize |
int | fVerbose |
Abc_Ntk_t * | pNtk |
Vec_Ptr_t * | vBuckets |
Vec_Int_t * | vObj2Lit |
int | nStartCols |
int | nCountGates |
int | nFoundGates |
Definition at line 32 of file abcExtract.c.
int Abc_ShaMan_t_::fVerbose |
Definition at line 35 of file abcExtract.c.
int Abc_ShaMan_t_::nCountGates |
Definition at line 40 of file abcExtract.c.
int Abc_ShaMan_t_::nFoundGates |
Definition at line 41 of file abcExtract.c.
int Abc_ShaMan_t_::nMultiSize |
Definition at line 34 of file abcExtract.c.
int Abc_ShaMan_t_::nStartCols |
Definition at line 39 of file abcExtract.c.
Abc_Ntk_t* Abc_ShaMan_t_::pNtk |
Definition at line 36 of file abcExtract.c.
Vec_Ptr_t* Abc_ShaMan_t_::vBuckets |
Definition at line 37 of file abcExtract.c.
Vec_Int_t* Abc_ShaMan_t_::vObj2Lit |
Definition at line 38 of file abcExtract.c.