Home
last modified time | relevance | path

Searched refs:nNewNodesMax (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaFx.c456 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 DgiaBalAig.c1013 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 Dgia.h1222 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 DabcFx.c306 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 Dabc.c4285 …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 DplaFxch.c800 int nNewNodesMax = ABC_INFINITY; in Fxch_ManFastExtract() local
808 for ( i = 0; i < nNewNodesMax && Vec_QueTopPriority(p->vPrio) > 0.0; i++ ) in Fxch_ManFastExtract()