abc-master
|
#include <aig.h>
Data Fields | |
Aig_Man_t * | pAig |
Aig_Cut_t ** | pCuts |
int | nCutsMax |
int | nLeafMax |
int | fTruth |
int | fVerbose |
int | nCutSize |
int | nTruthWords |
Aig_MmFixed_t * | pMemCuts |
unsigned * | puTemp [4] |
Aig_MmFixed_t* Aig_ManCut_t_::pMemCuts |