|
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.