|
abc-master
|
#include <wlc.h>
Data Fields | |
| char * | pName |
| Vec_Int_t | vPis |
| Vec_Int_t | vPos |
| Vec_Int_t | vCis |
| Vec_Int_t | vCos |
| Vec_Int_t | vFfs |
| int | nObjs [WLC_OBJ_NUMBER] |
| int | nAnds [WLC_OBJ_NUMBER] |
| Wlc_Obj_t * | pObjs |
| int | iObj |
| int | nObjsAlloc |
| Mem_Flex_t * | pMemFanin |
| Mem_Flex_t * | pMemTable |
| Vec_Ptr_t * | vTables |
| Abc_Nam_t * | pManName |
| Vec_Int_t | vNameIds |
| int | nTravIds |
| Vec_Int_t | vTravIds |
| Vec_Int_t | vCopies |
| int Wlc_Ntk_t_::nAnds[WLC_OBJ_NUMBER] |
| int Wlc_Ntk_t_::nObjs[WLC_OBJ_NUMBER] |
| Mem_Flex_t* Wlc_Ntk_t_::pMemFanin |
| Mem_Flex_t* Wlc_Ntk_t_::pMemTable |