abc-master
|
Data Fields | |
Ssw_RarPars_t * | pPars |
int | nGroups |
int | nWordsReg |
Aig_Man_t * | pAig |
Ssw_Cla_t * | ppClasses |
Vec_Int_t * | vInits |
word * | pObjData |
word * | pPatData |
Vec_Ptr_t * | vUpdConst |
Vec_Ptr_t * | vUpdClass |
int * | pRarity |
double * | pPatCosts |
Vec_Int_t * | vPatBests |
int | iFailPo |
int | iFailPat |
Vec_Ptr_t * | vCexes |
int | nWords |
int | nFrames |
int | nBinSize |
int | fVerbose |
Ssw_Sml_t * | pSml |
Vec_Ptr_t * | vSimInfo |
int * | pGroupValues |
Definition at line 34 of file sswRarity.c.
int Ssw_RarMan_t_::fVerbose |
Definition at line 38 of file sswRarity2.c.
int Ssw_RarMan_t_::iFailPat |
Definition at line 56 of file sswRarity.c.
int Ssw_RarMan_t_::iFailPo |
Definition at line 55 of file sswRarity.c.
int Ssw_RarMan_t_::nBinSize |
Definition at line 37 of file sswRarity2.c.
int Ssw_RarMan_t_::nFrames |
Definition at line 36 of file sswRarity2.c.
int Ssw_RarMan_t_::nGroups |
Definition at line 38 of file sswRarity.c.
int Ssw_RarMan_t_::nWords |
Definition at line 35 of file sswRarity2.c.
int Ssw_RarMan_t_::nWordsReg |
Definition at line 39 of file sswRarity.c.
Aig_Man_t * Ssw_RarMan_t_::pAig |
Definition at line 41 of file sswRarity.c.
int* Ssw_RarMan_t_::pGroupValues |
Definition at line 48 of file sswRarity2.c.
word* Ssw_RarMan_t_::pObjData |
Definition at line 45 of file sswRarity.c.
Ssw_RarPars_t* Ssw_RarMan_t_::pPars |
Definition at line 37 of file sswRarity.c.
double * Ssw_RarMan_t_::pPatCosts |
Definition at line 52 of file sswRarity.c.
word* Ssw_RarMan_t_::pPatData |
Definition at line 46 of file sswRarity.c.
Ssw_Cla_t * Ssw_RarMan_t_::ppClasses |
Definition at line 42 of file sswRarity.c.
int * Ssw_RarMan_t_::pRarity |
Definition at line 51 of file sswRarity.c.
Ssw_Sml_t* Ssw_RarMan_t_::pSml |
Definition at line 43 of file sswRarity2.c.
Vec_Ptr_t* Ssw_RarMan_t_::vCexes |
Definition at line 58 of file sswRarity.c.
Vec_Int_t * Ssw_RarMan_t_::vInits |
Definition at line 43 of file sswRarity.c.
Vec_Int_t* Ssw_RarMan_t_::vPatBests |
Definition at line 54 of file sswRarity.c.
Vec_Ptr_t* Ssw_RarMan_t_::vSimInfo |
Definition at line 44 of file sswRarity2.c.
Vec_Ptr_t* Ssw_RarMan_t_::vUpdClass |
Definition at line 49 of file sswRarity.c.
Vec_Ptr_t* Ssw_RarMan_t_::vUpdConst |
Definition at line 48 of file sswRarity.c.