abc-master
|
#include <cutInt.h>
Data Fields | |
Cut_Params_t * | pParams |
Vec_Int_t * | vFanCounts |
Vec_Int_t * | vNodeAttrs |
Vec_Ptr_t * | vCutsNew |
Vec_Ptr_t * | vCutsOld |
Vec_Ptr_t * | vCutsTemp |
Extra_MmFixed_t * | pMmCuts |
int | EntrySize |
int | nTruthWords |
Cut_Cut_t * | pReady |
Vec_Ptr_t * | vTemp |
int | fCompl0 |
int | fCompl1 |
int | fSimul |
int | nNodeCuts |
Cut_Cut_t * | pStore0 [2] |
Cut_Cut_t * | pStore1 [2] |
Cut_Cut_t * | pCompareOld |
Cut_Cut_t * | pCompareNew |
unsigned * | puTemp [4] |
Vec_Int_t * | vNodeCuts |
Vec_Int_t * | vNodeStarts |
Vec_Int_t * | vCutPairs |
Vec_Ptr_t * | vCutsMax |
Vec_Int_t * | vDelays |
Vec_Int_t * | vDelays2 |
int | nDelayMin |
int | nCutsCur |
int | nCutsAlloc |
int | nCutsDealloc |
int | nCutsPeak |
int | nCutsTriv |
int | nCutsFilter |
int | nCutsLimit |
int | nNodes |
int | nNodesDag |
int | nNodesNoCuts |
abctime | timeMerge |
abctime | timeUnion |
abctime | timeTruth |
abctime | timeFilter |
abctime | timeHash |
abctime | timeMap |
Extra_MmFixed_t* Cut_ManStruct_t_::pMmCuts |
Cut_Params_t* Cut_ManStruct_t_::pParams |