abc-master
|
Data Fields | |
int | nVarsMax |
int | nWordsMax |
Vec_Ptr_t * | vTruthVars |
Vec_Ptr_t * | vTruthNodes |
int | nVarsIn |
Vec_Int_t * | vLutsIn |
Vec_Int_t * | vSuppIn |
char | ATimeIn [64] |
unsigned * | pTruthIn |
unsigned * | pTruthOut |
int | nVarsOut |
int | nWordsOut |
char | Order [32] |
Vec_Int_t * | vLutsOut |
Vec_Int_t * | vSuppOut |
char | ATimeOut [64] |