#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 |
int | timeMerge |
int | timeUnion |
int | timeTruth |
int | timeFilter |
int | timeHash |
int | timeMap |
Definition at line 44 of file cutInt.h.
unsigned* Cut_ManStruct_t_::puTemp[4] |