|
abc-master
|
Data Fields | |
| Sdm_Dsd_t * | pDsd6 |
| Hsh_IntMan_t * | pHash |
| Vec_Int_t * | vConfgRes |
| Vec_Wrd_t * | vPerm6 |
| Vec_Int_t * | vMap2Perm |
| char | Perm6 [720][6] |
| int | nCountDsd [DSD_CLASS_NUM] |
| int | nNonDsd |
| int | nAllDsd |
Definition at line 648 of file extraUtilDsd.c.
| int Sdm_Man_t_::nAllDsd |
Definition at line 658 of file extraUtilDsd.c.
| int Sdm_Man_t_::nCountDsd[DSD_CLASS_NUM] |
Definition at line 656 of file extraUtilDsd.c.
| int Sdm_Man_t_::nNonDsd |
Definition at line 657 of file extraUtilDsd.c.
| Sdm_Dsd_t* Sdm_Man_t_::pDsd6 |
Definition at line 650 of file extraUtilDsd.c.
| char Sdm_Man_t_::Perm6[720][6] |
Definition at line 655 of file extraUtilDsd.c.
| Hsh_IntMan_t* Sdm_Man_t_::pHash |
Definition at line 651 of file extraUtilDsd.c.
| Vec_Int_t* Sdm_Man_t_::vConfgRes |
Definition at line 652 of file extraUtilDsd.c.
| Vec_Int_t* Sdm_Man_t_::vMap2Perm |
Definition at line 654 of file extraUtilDsd.c.
| Vec_Wrd_t* Sdm_Man_t_::vPerm6 |
Definition at line 653 of file extraUtilDsd.c.