Searched refs:nKeepMax (Results 1 – 8 of 8) sorted by relevance
80 if ( p->nNodeCuts >= p->pParams->nKeepMax ) in Cut_NodeComputeCutsSeq()150 if ( p->nNodeCuts >= p->pParams->nKeepMax ) in Cut_NodeComputeCutsSeq()
355 return ++p->nNodeCuts == p->pParams->nKeepMax; in Cut_CutProcessTwo()407 if ( p->nNodeCuts == p->pParams->nKeepMax ) in Cut_NodeComputeCuts()726 if ( ++p->nNodeCuts == p->pParams->nKeepMax ) in Cut_NodeUnionCuts()756 if ( ++p->nNodeCuts == p->pParams->nKeepMax ) in Cut_NodeUnionCuts()882 if ( ++p->nNodeCuts == p->pParams->nKeepMax ) in Cut_NodeUnionCutsSeq()925 if ( ++p->nNodeCuts == p->pParams->nKeepMax ) in Cut_NodeUnionCutsSeq()
56 int nKeepMax; // the max number of cuts kept at a node member
168 printf( "Nodes saturated = %8d. (Max cuts = %d.)\n", p->nCutsLimit, p->pParams->nKeepMax ); in Cut_ManPrintStats()
212 pParams->nKeepMax = 250; // the max number of cuts kept at a node in Abc_NtkStartCutManForRewrite()
258 pParams->nKeepMax = 500; // the max number of cuts kept at a node in Abc_NtkStartCutManForScl()
970 pParams->nKeepMax = 250; // the max number of cuts kept at a node in Abc_NtkStartCutManForRestruct()
12446 pParams->nKeepMax = 1000; // the max number of cuts kept at a node in Abc_CommandCut()12482 pParams->nKeepMax = atoi(argv[globalUtilOptind]); in Abc_CommandCut()12484 if ( pParams->nKeepMax < 0 ) in Abc_CommandCut()12581 … -2, "\t-M num : max number of cuts stored at a node [default = %d]\n", pParams->nKeepMax ); in Abc_CommandCut()12621 pParams->nKeepMax = 1000; // the max number of cuts kept at a node in Abc_CommandScut()12648 pParams->nKeepMax = atoi(argv[globalUtilOptind]); in Abc_CommandScut()12650 if ( pParams->nKeepMax < 0 ) in Abc_CommandScut()12692 …t( -2, "\t-M num : max number of cuts stored at a node [default = %d]\n", pParams->nKeepMax ); in Abc_CommandScut()