abc-master
|
#include <cbaPrs.h>
Data Fields | |
char * | pName |
char * | pBuffer |
char * | pLimit |
char * | pCur |
Cba_Man_t * | pLibrary |
Cba_Man_t * | pDesign |
int | iModuleName |
Vec_Int_t | vInoutsCur |
Vec_Int_t | vInputsCur |
Vec_Int_t | vOutputsCur |
Vec_Int_t | vWiresCur |
Vec_Int_t | vTypesCur |
Vec_Int_t | vFuncsCur |
Vec_Int_t | vInstIdsCur |
Vec_Wec_t | vFaninsCur |
Vec_Str_t | vCover |
Vec_Int_t | vTemp |
Vec_Int_t | vTemp2 |
Vec_Int_t | vKnown |
Vec_Int_t | vFailed |
Vec_Int_t | vSucceeded |
char | ErrorStr [1000] |