| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDress3.c | 133 vMap1 = Vec_IntStartNatural( Abc_NtkCiNum(pNtk1) ); in Abc_NtkAigToGiaTwo()
159 vMap1 = Vec_IntStartNatural( Abc_NtkCiNum(pNtk1) ); in Abc_NtkAigToGiaTwo()
160 vMap2 = Vec_IntStartNatural( Abc_NtkCiNum(pNtk2) ); in Abc_NtkAigToGiaTwo()
|
| H A D | abcRec3.c | 1358 vEntries = Vec_IntStartNatural( nEntries ); in Abc_NtkRecDumpTt3()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaUnate.c | 71 Vec_Int_t * vCiVec = vCiIds ? Vec_IntDup(vCiIds) : Vec_IntStartNatural(Gia_ManCiNum(p)); in Gia_ManCheckUnateVec()
72 Vec_Int_t * vCoVec = vCoIds ? Vec_IntDup(vCoIds) : Vec_IntStartNatural(Gia_ManCoNum(p)); in Gia_ManCheckUnateVec()
|
| H A D | giaCone.c | 393 Vec_Int_t * vTemp = Vec_IntStartNatural( Vec_IntSize(vWeights) ); in Gia_ManFindPivots()
|
| H A D | giaSatMap.c | 348 Vec_Int_t * vVars = Vec_IntStartNatural( nVars ); in Sbm_AddCardinSolver()
|
| H A D | giaQbf.c | 75 return Vec_IntStartNatural( nLutNum * nLutSize ); in Gia_GenCollectFlopIndexes()
|
| H A D | giaIso.c | 1271 vPerm = Vec_IntStartNatural( nPis ); in Gia_IsoTestGenPerm()
|
| H A D | giaUtil.c | 1866 vOuts = Vec_IntStartNatural( Gia_ManPoNum(p) ); in Gia_ManGroupProve()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecHsh.h | 566 vTemp = Vec_IntStartNatural( i ); in Hsh_VecManHashTest()
572 vTemp = Vec_IntStartNatural( i ); in Hsh_VecManHashTest()
|
| H A D | vecInt.h | 163 static inline Vec_Int_t * Vec_IntStartNatural( int nSize ) in Vec_IntStartNatural() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMulti.c | 181 … vOutMap = Vec_IntStartNatural( Saig_ManPoNum(p) ); // maps current outputs into their original IDs in Gia_ManMultiProveAig()
|
| H A D | bmcICheck.c | 433 vRegs = Vec_IntStartNatural( Gia_ManRegNum(p) ); in Bmc_PerformISearchOne()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigConstr.c | 447 vConstrs = Vec_IntStartNatural( Saig_ManPoNum(pAig1) ); in Saig_ManFoldConstrTest()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absOldRef.c | 419 vFlops = Vec_IntStartNatural( 1 ); in Saig_ManCexAbstractionFlops()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | vecInt.h | 135 static inline Vec_Int_t * Vec_IntStartNatural( int nSize ) in Vec_IntStartNatural() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilNam.c | 555 return Vec_IntStartNatural( Abc_NamObjNumMax(p1) ); in Abc_NamComputeIdMap()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecPolyn.c | 91 p->vOrder = vOrder ? Vec_IntDup(vOrder) : Vec_IntStartNatural( Gia_ManObjNum(pGia) ); in Pln_ManAlloc()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
| H A D | amapRule.c | 202 return Vec_IntStartNatural( 1 ); in Amap_CreateRulesFromDsd_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
| H A D | sscCore.c | 437 Vec_Int_t * vOuts = Vec_IntStartNatural( Gia_ManPoNum(p) ); in Ssc_PerformSweepingConstr()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigScl.c | 667 pAig->vFlopNums = Vec_IntStartNatural( pAig->nRegs ); in Aig_ManScl()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcNtk.c | 1978 vFlops = Vec_IntStartNatural( Abc_NtkLatchNum(pNtk) ); in Abc_NtkPermute()
1979 vInputs = Vec_IntStartNatural( Abc_NtkPiNum(pNtk) ); in Abc_NtkPermute()
1980 vOutputs = Vec_IntStartNatural( Abc_NtkPoNum(pNtk) ); in Abc_NtkPermute()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcReadSmt.c | 996 vFans = Vec_IntStartNatural( Wlc_NtkObjNumMax(pNtk) ); in Smt_PrsBuild()
1492 vFans = Vec_IntStartNatural( Wlc_NtkObjNumMax(pNtk) ); in Smt_PrsBuild2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/bbl/ |
| H A D | bblif.c | 192 static inline Vec_Int_t * Vec_IntStartNatural( int nSize ) in Vec_IntStartNatural() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswRarity.c | 1156 vPerm = Vec_IntStartNatural( nFlops ); in Ssw_RarRandomPermFlop()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 2561 vSupp = Vec_IntStartNatural( Vec_IntSize(vDivs) ); in Acb_NtkEcoPerform()
2636 vUsed = Vec_IntStartNatural( Vec_IntSize(vDivs) ); in Acb_NtkEcoPerform()
|