/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaAig.c | 80 pNew = Gia_ManStart( Aig_ManObjNum(p) ); in Gia_ManFromAig() 86 pNew->pNexts = ABC_CALLOC( int, Aig_ManObjNum(p) ); in Gia_ManFromAig() 140 pNew = Gia_ManStart( Aig_ManObjNum(p) ); in Gia_ManFromAigChoices() 145 pNew->pSibls = ABC_CALLOC( int, Aig_ManObjNum(p) ); in Gia_ManFromAigChoices() 178 pNew = Gia_ManStart( Aig_ManObjNum(p) ); in Gia_ManFromAigSimple() 218 pNew = Gia_ManStart( Aig_ManObjNum(p) ); in Gia_ManFromAigSwitch() 495 assert( Gia_ManObjNum(pGia) - Gia_ManCoNum(pGia) == Aig_ManObjNum(pAig) - Aig_ManCoNum(pAig) ); in Gia_ManReprFromAigRepr() 525 assert( Gia_ManObjNum(pGia) - Gia_ManCoNum(pGia) == Aig_ManObjNum(pAig) - Aig_ManCoNum(pAig) ); in Gia_ManReprFromAigRepr2()
|
H A D | giaSweep.c | 566 assert( Gia_ManObjNum(p) == Aig_ManObjNum(pNew) ); in Gia_ManFraigSweepPerform()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigCheck.c | 95 if ( Aig_ManObjNum(p) != 1 + Aig_ManCiNum(p) + Aig_ManCoNum(p) + in Aig_ManCheck() 103 Aig_ManObjNumMax(p), p->nDeleted, Aig_ManObjNum(p) ); in Aig_ManCheck()
|
H A D | aigDfs.c | 166 assert( Vec_PtrSize(vNodes) == Aig_ManObjNum(p) ); in Aig_ManDfs() 244 assert( Vec_PtrSize(vNodes) == Aig_ManObjNum(p) ); in Aig_ManDfsAll() 306 assert( Vec_PtrSize(vNodes) == Aig_ManObjNum(p) ); in Aig_ManDfsPreorder()
|
H A D | aigOper.c | 593 printf( "Number of nodes = %6d.\n", Aig_ManObjNum(p) ); in Aig_MuxTest() 595 printf( "Number of nodes = %6d.\n", Aig_ManObjNum(p) ); in Aig_MuxTest()
|
H A D | aigSplit.c | 90 pNew = Aig_ManStart( Aig_ManObjNum(p) ); in Aig_ManConvertBddsToAigs()
|
H A D | aigCuts.c | 652 Aig_ManObjNum(pAig), nCuts, nLeafMax, nCutsK ); in Aig_ComputeCuts()
|
H A D | aigRet.c | 309 pRtm->vObjs = Vec_PtrAlloc( Aig_ManObjNum(p) ); in Rtm_ManAlloc()
|
H A D | aigUtil.c | 88 return (int)(Aig_ManObjNum(p) == Aig_ManCiNum(p) + Aig_ManCoNum(p) + Aig_ManNodeNum(p) + 1); in Aig_ManHasNoGaps()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcMulti.c | 123 …printf( "Size =%7d (%5.1f %%) ", Aig_ManObjNum(p), 100.0*Aig_ManObjNum(p)/Abc_MaxInt(1… in Gia_ManMultiReport() 171 int nTotalSize = Aig_ManObjNum(p); in Gia_ManMultiProveAig()
|
H A D | bmcBmc2.c | 210 nFramesLimit = 1 + (200000000 * 4)/Aig_ManObjNum(p); in Abs_ManTernarySimulate() 212 nFrameWords = Abc_BitWordNum( 2 * Aig_ManObjNum(p) ); in Abs_ManTernarySimulate() 235 f, 0.25 * (f+1) * Aig_ManObjNum(p) / (1<<20) ); in Abs_ManTernarySimulate() 244 nFramesLimit, 0.25 * nFramesLimit * Aig_ManObjNum(p) / (1<<20) ); in Abs_ManTernarySimulate() 474 int nNodes = Aig_ManObjNum( p->pFrm ); in Saig_BmcInterval() 485 if ( Aig_ManObjNum(p->pFrm) >= nNodes + p->nNodesMax ) in Saig_BmcInterval()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswIslands.c | 341 assert( Aig_ManObjNum(p0) == Aig_ManObjNum(p1) ); in Ssw_MatchingPairs() 343 vPairsNew = Vec_IntAlloc( 2*Aig_ManObjNum(p0) ); in Ssw_MatchingPairs() 376 vPairsMiter = Vec_IntAlloc( 2*Aig_ManObjNum(p0) ); in Ssw_MatchingMiter()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
H A D | amapGraph.c | 337 if ( 1.0 * Aig_ManObjNum(pAig) * sizeof(Amap_Obj_t) / (1<<30) > 0.1 ) in Amap_ManCreate() 339 1.0 * Aig_ManObjNum(pAig) * sizeof(Amap_Obj_t) / (1<<30), Aig_ManObjNum(pAig) ); in Amap_ManCreate()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigCheck.c | 110 if ( Aig_ManObjNum(p) != 1 + Aig_ManPiNum(p) + Aig_ManPoNum(p) + in Aig_ManCheck()
|
H A D | aigRet.c | 324 pRtm->vObjs = Vec_PtrAlloc( Aig_ManObjNum(p) ); in Rtm_ManAlloc()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigDual.c | 90 vCopies = Vec_PtrStart( 2*Aig_ManObjNum(pAig) ); in Saig_ManDupDual()
|
H A D | saigIoa.c | 97 Aig_ManNodeNum(p), Aig_ManObjNum(p), Aig_ManObjNumMax(p) ); in Saig_ManDumpBlif()
|
H A D | saigDup.c | 154 pNew = Aig_ManStart( Aig_ManObjNum(p) ); in Saig_ManTrimPis()
|
H A D | saigStrSim.c | 401 nTableSize = Abc_PrimeCudd( Aig_ManObjNum(p0)/2 ); in Saig_StrSimDetectUnique()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsGia.c | 60 pNew = Gia_ManStart( Aig_ManObjNum(p) ); in Gia_ManCreateResubMiter()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darCore.c | 321 Aig_ManObjNum(pAig), nCuts, nCutsK ); in Dar_ManComputeCuts()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
H A D | ioaWriteAig.c | 309 vBuffer = Vec_StrAlloc( 3*Aig_ManObjNum(pMan) ); in Ioa_WriteAigerIntoMemoryStr()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtAig.c | 463 for ( ; Aig_ManObjNum(pNew) < nVarsMin && i < Aig_ManCoNum(pFrame); i++ ) in Cgt_ManDupPartition()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | aig.h | 231 static inline int Aig_ManObjNum( Aig_Man_t * p ) { return p->nCreated - p->nDelete… in Aig_ManObjNum() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb4Nonlin.c | 1073 if ( pPars->fCluster && Aig_ManObjNum(pAig) >= (1 << 15) ) in Llb_Nonlin4CoreReach()
|