Home
last modified time | relevance | path

Searched refs:Aig_ManObjNum (Results 1 – 25 of 27) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaAig.c80 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 DgiaSweep.c566 assert( Gia_ManObjNum(p) == Aig_ManObjNum(pNew) ); in Gia_ManFraigSweepPerform()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigCheck.c95 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 DaigDfs.c166 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 DaigOper.c593 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 DaigSplit.c90 pNew = Aig_ManStart( Aig_ManObjNum(p) ); in Aig_ManConvertBddsToAigs()
H A DaigCuts.c652 Aig_ManObjNum(pAig), nCuts, nLeafMax, nCutsK ); in Aig_ComputeCuts()
H A DaigRet.c309 pRtm->vObjs = Vec_PtrAlloc( Aig_ManObjNum(p) ); in Rtm_ManAlloc()
H A DaigUtil.c88 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 DbmcMulti.c123 …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 DbmcBmc2.c210 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 DsswIslands.c341 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 DamapGraph.c337 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 DaigCheck.c110 if ( Aig_ManObjNum(p) != 1 + Aig_ManPiNum(p) + Aig_ManPoNum(p) + in Aig_ManCheck()
H A DaigRet.c324 pRtm->vObjs = Vec_PtrAlloc( Aig_ManObjNum(p) ); in Rtm_ManAlloc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigDual.c90 vCopies = Vec_PtrStart( 2*Aig_ManObjNum(pAig) ); in Saig_ManDupDual()
H A DsaigIoa.c97 Aig_ManNodeNum(p), Aig_ManObjNum(p), Aig_ManObjNumMax(p) ); in Saig_ManDumpBlif()
H A DsaigDup.c154 pNew = Aig_ManStart( Aig_ManObjNum(p) ); in Saig_ManTrimPis()
H A DsaigStrSim.c401 nTableSize = Abc_PrimeCudd( Aig_ManObjNum(p0)/2 ); in Saig_StrSimDetectUnique()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsGia.c60 pNew = Gia_ManStart( Aig_ManObjNum(p) ); in Gia_ManCreateResubMiter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarCore.c321 Aig_ManObjNum(pAig), nCuts, nCutsK ); in Dar_ManComputeCuts()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/
H A DioaWriteAig.c309 vBuffer = Vec_StrAlloc( 3*Aig_ManObjNum(pMan) ); in Ioa_WriteAigerIntoMemoryStr()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/
H A DcgtAig.c463 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 Daig.h231 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 Dllb4Nonlin.c1073 if ( pPars->fCluster && Aig_ManObjNum(pAig) >= (1 << 15) ) in Llb_Nonlin4CoreReach()

12