base/abci/abc.c

3966     int nFlowIters, nAreaIters;
3973     extern Abc_Ntk_t * Abc_NtkRenode( Abc_Ntk_t * pNtk, int nLutSize, int nCutsMax, int nFlowIters, int nAreaIters, int fArea, int fUseBdds, int fUseSops, int fUseCnfs, int fUseMv, int fVerbose );
3980     nFlowIters =  1;
4021             nFlowIters = atoi(argv[globalUtilOptind]);
4023             if ( nFlowIters < 0 )
4092     pNtkRes = Abc_NtkRenode( pNtk, nLutSize, nCutsMax, nFlowIters, nAreaIters, fArea, fUseBdds, fUseSops, fUseCnfs, fUseMv, fVerbose );
4108     Abc_Print( -2, "\t-F <num>: the number of area flow recovery iterations (num >= 0) [default = %d]\n", nFlowIters );
18593             pPars->nFlowIters = atoi(argv[globalUtilOptind]);
18595             if ( pPars->nFlowIters < 0 )
19069     Abc_Print( -2, "\t-F num   : the number of area flow recovery iterations (num >= 0) [default = %d]\n", pPars->nFlowIters );
37650             pPars->nFlowIters = atoi(argv[globalUtilOptind]);
37652             if ( pPars->nFlowIters < 0 )
38140     Abc_Print( -2, "\t-F num   : the number of area flow recovery iterations (num >= 0) [default = %d]\n", pPars->nFlowIters );