Searched refs:nNewNodesMax (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaFx.c | 456 Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax, int fReverse, int f… in Gia_ManPerformFx() argument 458 …extern int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, in… in Gia_ManPerformFx() 470 …Fx_FastExtract( vCubes, Vec_StrSize(vCompl), nNewNodesMax, LitCountMax, 0, fVerbose, fVeryVerbose … in Gia_ManPerformFx()
|
H A D | giaBalAig.c | 1013 Gia_Man_t * Dam_ManAreaBalanceInt( Gia_Man_t * pGia, Vec_Int_t * vCiLevels, int nNewNodesMax, int f… in Dam_ManAreaBalanceInt() argument 1023 for ( i = 0; i < nNewNodesMax && Vec_QueTopPriority(p->vQue) >= 2; i++ ) in Dam_ManAreaBalanceInt() 1047 Gia_Man_t * Gia_ManAreaBalance( Gia_Man_t * p, int fSimpleAnd, int nNewNodesMax, int fVerbose, int … in Gia_ManAreaBalance() argument 1080 pNew1 = Dam_ManAreaBalanceInt( pNew, vCiLevels, nNewNodesMax, fVerbose, fVeryVerbose ); in Gia_ManAreaBalance()
|
H A D | gia.h | 1222 extern Gia_Man_t * Gia_ManAreaBalance( Gia_Man_t * p, int fSimpleAnd, int nNewNodesMax, int… 1414 extern Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax, int …
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcFx.c | 306 int Abc_NtkFxPerform( Abc_Ntk_t * pNtk, int nNewNodesMax, int LitCountMax, int fCanonDivs, int fVer… in Abc_NtkFxPerform() argument 308 …extern int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, in… in Abc_NtkFxPerform() 320 …if ( Fx_FastExtract( vCubes, Abc_NtkObjNumMax(pNtk), nNewNodesMax, LitCountMax, fCanonDivs, fVerbo… in Abc_NtkFxPerform() 1163 int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fCanon… in Fx_FastExtract() argument 1182 for ( i = 0; i < nNewNodesMax && Vec_QueTopPriority(p->vPrio) > 0.0; i++ ) in Fx_FastExtract()
|
H A D | abc.c | 4285 …extern int Abc_NtkFxPerform( Abc_Ntk_t * pNtk, int nNewNodesMax, int nLitCountMax, int fCanonDivs,… in Abc_CommandFastExtract() 34302 int nNewNodesMax = 1000000; in Abc_CommandAbc9Fx() local 34319 nNewNodesMax = atoi(argv[globalUtilOptind]); in Abc_CommandAbc9Fx() 34321 if ( nNewNodesMax < 0 ) in Abc_CommandAbc9Fx() 34361 …pTemp = Gia_ManPerformFx( pAbc->pGia, nNewNodesMax, LitCountMax, fReverse, fVerbose, fVeryVerbose … in Abc_CommandAbc9Fx() 34371 … "\t-N <num> : max number of divisors to extract during this run [default = %d]\n", nNewNodesMax ); in Abc_CommandAbc9Fx() 34394 int nNewNodesMax = ABC_INFINITY; in Abc_CommandAbc9Balance() local 34412 nNewNodesMax = atoi(argv[globalUtilOptind]); in Abc_CommandAbc9Balance() 34414 if ( nNewNodesMax < 0 ) in Abc_CommandAbc9Balance() 34449 pTemp = Gia_ManAreaBalance( pAbc->pGia, fSimpleAnd, nNewNodesMax, fVerbose, fVeryVerbose ); in Abc_CommandAbc9Balance() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
H A D | plaFxch.c | 800 int nNewNodesMax = ABC_INFINITY; in Fxch_ManFastExtract() local 808 for ( i = 0; i < nNewNodesMax && Vec_QueTopPriority(p->vPrio) > 0.0; i++ ) in Fxch_ManFastExtract()
|