| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaFront.c | 109 int i, nCutCur = 0, nCutMax = 0; in Gia_ManCrossCutSimple() local
115 if ( nCutMax < nCutCur ) in Gia_ManCrossCutSimple()
116 nCutMax = nCutCur; in Gia_ManCrossCutSimple()
132 return nCutMax; in Gia_ManCrossCutSimple()
|
| H A D | giaForce.c | 67 int nCutMax; // max cut seen member
612 p->nCutMax = Abc_MaxInt( p->nCutMax, p->nCutCur ); in Frc_ManCrossCut_rec()
639 p->nCutMax = Abc_MaxInt( p->nCutMax, p->nCutCur ); in Frc_ManCrossCut2_rec()
664 p->nCutMax = 0; in Frc_ManCrossCut()
678 return p->nCutMax; in Frc_ManCrossCut()
|
| H A D | giaUtil.c | 840 int i, nCutCur = 0, nCutMax = 0; in Gia_ManCrossCut() local
847 if ( nCutMax < nCutCur ) in Gia_ManCrossCut()
848 nCutMax = nCutCur; in Gia_ManCrossCut()
865 return nCutMax; in Gia_ManCrossCut()
|
| H A D | giaLf.c | 229 int i, nCutMax = 0, nCutCur = 0; in Lf_ManComputeCrossCut() local
244 if ( nCutMax < nCutCur ) in Lf_ManComputeCrossCut()
245 nCutMax = nCutCur; in Lf_ManComputeCrossCut()
256 printf( "CutMax = %d\n", nCutMax ); in Lf_ManComputeCrossCut()
257 return nCutMax; in Lf_ManComputeCrossCut()
|
| H A D | giaIf.c | 2498 int nCutMax = 7; in Gia_ManTestStruct() local
2505 Gia_ObjComputeTruthTableStart( p, nCutMax ); in Gia_ManTestStruct()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcRestruct.c | 47 int nCutMax; // the limit on the size of the supernode member
86 static Cut_Man_t * Abc_NtkStartCutManForRestruct( Abc_Ntk_t * pNtk, int nCutMax, int fDag );
87 static Abc_ManRst_t * Abc_NtkManRstStart( int nCutMax, int fUpdateLevel, int fUseZeros, int fVerbos…
106 int Abc_NtkRestructure( Abc_Ntk_t * pNtk, int nCutMax, int fUpdateLevel, int fUseZeros, int fVerbos… in Abc_NtkRestructure() argument
130 pManRst = Abc_NtkManRstStart( nCutMax, fUpdateLevel, fUseZeros, fVerbose ); in Abc_NtkRestructure()
134 pManCut = Abc_NtkStartCutManForRestruct( pNtk, nCutMax, fMulti ); in Abc_NtkRestructure()
961 Cut_Man_t * Abc_NtkStartCutManForRestruct( Abc_Ntk_t * pNtk, int nCutMax, int fDag ) in Abc_NtkStartCutManForRestruct() argument
969 pParams->nVarsMax = nCutMax; // the max cut size ("k" of the k-feasible cuts) in Abc_NtkStartCutManForRestruct()
1000 Abc_ManRst_t * Abc_NtkManRstStart( int nCutMax, int fUpdateLevel, int fUseZeros, int fVerbose ) in Abc_NtkManRstStart() argument
1006 p->nCutMax = nCutMax; in Abc_NtkManRstStart()
[all …]
|
| H A D | abcResub.c | 137 int Abc_NtkResubstitute( Abc_Ntk_t * pNtk, int nCutMax, int nStepsMax, int nLevelsOdc, int fUpdateL… in Abc_NtkResubstitute() argument
155 pManCut = Abc_NtkManCutStart( nCutMax, 100000, 100000, 100000 ); in Abc_NtkResubstitute()
156 pManRes = Abc_ManResubStart( nCutMax, ABC_RS_DIV1_MAX ); in Abc_NtkResubstitute()
158 pManOdc = Abc_NtkDontCareAlloc( nCutMax, nLevelsOdc, fVerbose, fVeryVerbose ); in Abc_NtkResubstitute()
|
| H A D | abc.c | 13633 int nCutMax = 1; in Abc_CommandTest() local
13654 nCutMax = atoi(argv[globalUtilOptind]); in Abc_CommandTest()
13656 if ( nCutMax < 0 ) in Abc_CommandTest()
13849 Abc_Print( -2, "\t-C num : the max number of cuts [default = %d]\n", nCutMax ); in Abc_CommandTest()
40603 int c, nCutMax = 16; in Abc_CommandAbc9Rpm() local
40619 nCutMax = atoi(argv[globalUtilOptind]); in Abc_CommandAbc9Rpm()
40621 if ( nCutMax < 0 ) in Abc_CommandAbc9Rpm()
40652 pTemp = Abs_RpmPerform( pAbc->pGia, nCutMax, fVerbose, fVeryVerbose ); in Abc_CommandAbc9Rpm()
40659 …Abc_Print( -2, "\t-C num : max cut size for testing range equivalence [default = %d]\n", nCutMax ); in Abc_CommandAbc9Rpm()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absRpm.c | 680 void Abs_RpmPerformMark( Gia_Man_t * p, int nCutMax, int fVerbose, int fVeryVerbose ) in Abs_RpmPerformMark() argument
738 if ( Abs_ManSupport2(p, pObj, vSupp2) > nCutMax ) in Abs_RpmPerformMark()
747 assert( nSize0 > 0 && nSize0 <= nCutMax ); in Abs_RpmPerformMark()
853 Gia_Man_t * Abs_RpmPerform( Gia_Man_t * p, int nCutMax, int fVerbose, int fVeryVerbose ) in Abs_RpmPerform() argument
859 Gia_ObjComputeTruthTableStart( p, nCutMax ); in Abs_RpmPerform()
860 Abs_RpmPerformMark( p, nCutMax, fVerbose, fVeryVerbose ); in Abs_RpmPerform()
|
| H A D | abs.h | 153 extern Gia_Man_t * Abs_RpmPerform( Gia_Man_t * p, int nCutMax, int fVerbose, int fVeryVerbose…
|