/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrClass.c | 62 iReg = Vec_IntEntry(vMap, i); in Pdr_ManRehashWithMap() 94 Vec_Int_t * vMap; in Pdr_ManCreateMap() local 104 Vec_IntPush( vMap, -1 ); in Pdr_ManCreateMap() 113 return vMap; in Pdr_ManCreateMap() 127 int Pdr_ManCountMap( Vec_Int_t * vMap ) in Pdr_ManCountMap() argument 147 void Pdr_ManPrintMap( Vec_Int_t * vMap ) in Pdr_ManPrintMap() argument 190 Vec_Int_t * vMap; in Pdr_ManEquivClasses() local 195 vMap = Vec_IntAlloc( 0 ); in Pdr_ManEquivClasses() 207 Pdr_ManPrintMap( vMap ); in Pdr_ManEquivClasses() 208 Vec_IntFree( vMap ); in Pdr_ManEquivClasses() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
H A D | bacPrsBuild.c | 101 assert( Vec_IntEntry(vMap, NameId) == -1 ); in Psr_ManRemapOne() 118 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManRemapOne() 120 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManRemapOne() 149 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManCleanMap() 154 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManCleanMap() 168 if ( Vec_IntEntry(vMap, NameId) != -1 ) in Psr_ManBuildNtk() 172 Vec_IntWriteEntry( vMap, NameId, iObj ); in Psr_ManBuildNtk() 299 if ( Vec_IntEntry(vMap, NameId) == -1 ) in Psr_ManBuildNtk() 311 Psr_ManCleanMap( pNtk, vMap ); in Psr_ManBuildNtk() 343 assert( Vec_IntCountEntry(vMap, -1) == Vec_IntSize(vMap) ); in Psr_ManBuildCba() [all …]
|
H A D | bacNtk.c | 279 for ( i = 0; !NameId || Vec_IntEntry(vMap, NameId); i++ ) in Bac_ManAssignInternTwo() 287 Vec_IntWriteEntry( vMap, NameId, 1 ); in Bac_ManAssignInternTwo() 313 Vec_IntWriteEntry( vMap, Bac_ObjNameId(p, iObj), 1 ); in Bac_ManAssignInternWordNamesNtk() 316 Vec_IntWriteEntry( vMap, Bac_ObjNameId(p, iObj), 1 ); in Bac_ManAssignInternWordNamesNtk() 382 Vec_IntWriteEntry( vMap, Bac_ObjNameId(p, iObj), 0 ); in Bac_ManAssignInternWordNamesNtk() 385 Vec_IntWriteEntry( vMap, Bac_ObjNameId(p, iObj), 0 ); in Bac_ManAssignInternWordNamesNtk() 388 Vec_IntWriteEntry( vMap, Bac_ObjNameId(p, iTerm), 0 ); in Bac_ManAssignInternWordNamesNtk() 394 Vec_Int_t * vMap = Vec_IntStart( 2*Bac_ManObjNum(p) ); in Bac_ManAssignInternWordNames() local 397 Bac_ManAssignInternWordNamesNtk( pNtk, vMap ); in Bac_ManAssignInternWordNames() 398 assert( Vec_IntCountEntry(vMap, 0) == Vec_IntSize(vMap) ); in Bac_ManAssignInternWordNames() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecOrder.c | 52 Vec_IntWriteEntry( vMap, iAnd, 1 ); in Gia_PolynFindOrder() 62 assert( Vec_IntEntry(vMap, iAnd) ); in Gia_PolynFindOrder() 63 Vec_IntWriteEntry( vMap, iAnd, 0 ); in Gia_PolynFindOrder() 85 if ( Vec_IntEntry(vMap, iXor) && Vec_IntEntry(vMap, iMaj) ) in Gia_PolynFindOrder() 87 Vec_IntWriteEntry( vMap, iXor, 0 ); in Gia_PolynFindOrder() 88 Vec_IntWriteEntry( vMap, iMaj, 0 ); in Gia_PolynFindOrder() 107 if ( Vec_IntEntry(vMap, iXor) && Vec_IntEntry(vMap, iMaj) ) in Gia_PolynFindOrder() 110 Vec_IntWriteEntry( vMap, iXor, 0 ); in Gia_PolynFindOrder() 111 Vec_IntWriteEntry( vMap, iMaj, 0 ); in Gia_PolynFindOrder() 159 Vec_IntForEachEntry( vMap, Entry, i ) in Gia_PolynFindOrder() [all …]
|
H A D | acecCover.c | 94 Gia_AcecCollectXors_rec( p, Gia_ObjFanin0(pObj), vMap, vXors ); in Gia_AcecCollectXors_rec() 95 Gia_AcecCollectXors_rec( p, Gia_ObjFanin1(pObj), vMap, vXors ); in Gia_AcecCollectXors_rec() 97 Vec_Int_t * Gia_AcecCollectXors( Gia_Man_t * p, Vec_Bit_t * vMap ) in Gia_AcecCollectXors() argument 101 Gia_AcecCollectXors_rec( p, pObj, vMap, vXors ); in Gia_AcecCollectXors() 120 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); in Gia_AcecExplore() local 140 Vec_BitWriteEntry( vMap, pSigs[0], 1 ); in Gia_AcecExplore() 141 Vec_BitWriteEntry( vMap, pSigs[1], 1 ); in Gia_AcecExplore() 146 Vec_BitWriteEntry( vMap, pSigs[3], 1 ); in Gia_AcecExplore() 147 Vec_BitWriteEntry( vMap, pSigs[4], 1 ); in Gia_AcecExplore() 157 vXors = Gia_AcecCollectXors( p, vMap ); in Gia_AcecExplore() [all …]
|
H A D | acecXor.c | 131 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i; in Acec_MapXorOuts() local 133 Vec_BitWriteEntry( vMap, Vec_IntEntry(vXors, 4*i), 1 ); in Acec_MapXorOuts() 134 return vMap; in Acec_MapXorOuts() 139 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i; in Acec_MapXorOuts2() local 143 return vMap; in Acec_MapXorOuts2() 151 return vMap; in Acec_MapMajOuts() 160 return vMap; in Acec_MapMajOuts2() 172 return vMap; in Acec_MapXorIns() 296 Vec_Int_t * vLevel, * vLevel2, * vMap; in Acec_FindBox() local 323 vMap = Acec_TreeCarryMap( p, vAdds, pBox->vAdds ); in Acec_FindBox() [all …]
|
H A D | acecCo.c | 96 Vec_Wec_t * vMap = Vec_WecStart( nObjs ); int i; in Gia_PolynComputeMap() local 101 Vec_WecPush( vMap, Entry1, i ); in Gia_PolynComputeMap() 102 Vec_WecPush( vMap, Entry1, Entry2 ); in Gia_PolynComputeMap() 103 Vec_WecPush( vMap, Entry2, i ); in Gia_PolynComputeMap() 104 Vec_WecPush( vMap, Entry2, Entry1 ); in Gia_PolynComputeMap() 106 return vMap; in Gia_PolynComputeMap() 122 Vec_Int_t * vLevel = Vec_WecEntry( vMap, Entry1 ); in Gia_PolynCoreOrder_int() 182 Vec_WecFree( vMap ); in Gia_PolynCoreOrder() 204 Vec_Int_t * vLevel = Vec_WecEntry( vMap, Carry ); in Gia_PolyCollectRoots_rec() 220 Gia_PolyCollectRoots_rec( vAdds, vMap, vMarks, iBox, vRoots ); in Gia_PolyCollectRoots() [all …]
|
H A D | acecTree.c | 381 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); in Acec_TreeCarryMap() local 387 return vMap; in Acec_TreeCarryMap() 393 iBox = Vec_IntEntry( vMap, Node ); in Acec_TreePhases_rec() 458 return vMap; in Acec_TreeFindPoints() 496 int In = Vec_IntEntry( vMap, Abc_Var2Lit(iObj, 1) ); in Acec_TreeFindTrees_rec() 497 int Out = Vec_IntEntry( vMap, Abc_Var2Lit(iObj, 0) ); in Acec_TreeFindTrees_rec() 511 Vec_IntForEachEntryDouble( vMap, In, Out, i ) in Acec_TreeFindTrees() 528 Vec_IntFree( vMap ); in Acec_TreeFindTrees() 613 Vec_Int_t * vLevel, * vMap; in Acec_CreateBox() local 642 vMap = Acec_TreeCarryMap( p, vAdds, pBox->vAdds ); in Acec_CreateBox() [all …]
|
H A D | acecPa.c | 122 void Pas_ManPhase_rec( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vMap, Gia_Obj_t * pObj, int fP… in Pas_ManPhase_rec() argument 133 iBox = Vec_IntEntry( vMap, Gia_ObjId(p, pObj) ); in Pas_ManPhase_rec() 149 Pas_ManPhase_rec( p, vAdds, vMap, Gia_ManObj(p, iObj), fPhaseThis, vPhase, vConstPhase ); in Pas_ManPhase_rec() 153 Vec_Bit_t * Pas_ManPhase( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vMap, Vec_Int_t * vRoots, V… in Pas_ManPhase() argument 155 Vec_Bit_t * vPhase = Vec_BitStart( Vec_IntSize(vMap) ); in Pas_ManPhase() 160 Pas_ManPhase_rec( p, vAdds, vMap, Gia_ManObj(p, iRoot), 1, vPhase, vConstPhase ); in Pas_ManPhase() 180 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); in Pas_ManComputeCuts() local 192 Vec_IntWriteEntry( vMap, Carry, i ); in Pas_ManComputeCuts() 211 vPhase = Pas_ManPhase( p, vAdds, vMap, vRoots, &vConstPhase ); in Pas_ManComputeCuts() 232 Vec_IntFree( vMap ); in Pas_ManComputeCuts()
|
H A D | acecFadds.c | 471 return vMap; in Gia_ManCreateMap() 476 assert( Vec_IntEntry(vMap, iMaj) >= 0 ); // MAJ in Gia_ManFindChains_rec() 481 int iFadd = Vec_IntEntry( vMap, iMaj ); in Gia_ManFindChains_rec() 485 …int iLen0 = Vec_IntEntry( vMap, iXor0 ) == -1 ? 0 : Gia_ManFindChains_rec( p, iXor0, vFadds, vMap,… in Gia_ManFindChains_rec() 486 …int iLen1 = Vec_IntEntry( vMap, iXor1 ) == -1 ? 0 : Gia_ManFindChains_rec( p, iXor1, vFadds, vMap,… in Gia_ManFindChains_rec() 487 …int iLen2 = Vec_IntEntry( vMap, iXor2 ) == -1 ? 0 : Gia_ManFindChains_rec( p, iXor2, vFadds, vMap,… in Gia_ManFindChains_rec() 808 vMap = Gia_ManCreateMap( p, vFadds ); in Gia_ManDupWithNaturalBoxes() 810 Gia_ManFindChains( p, vFadds, vMap ); in Gia_ManDupWithNaturalBoxes() 814 Gia_ManPrintChains( p, vFadds, vMap, vChains ); in Gia_ManDupWithNaturalBoxes() 818 Vec_IntFree( vMap ); in Gia_ManDupWithNaturalBoxes() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigTrans.c | 54 Vec_Int_t * vMap; in Saig_ManStartMap1() local 58 for ( i = 0; i < vMap->nCap; i++ ) in Saig_ManStartMap1() 59 vMap->pArray[i] = -1; in Saig_ManStartMap1() 60 vMap->nSize = vMap->nCap; in Saig_ManStartMap1() 61 p->pData = vMap; in Saig_ManStartMap1() 85 return Vec_IntEntry( vMap, nOffset ); in Saig_ManGetMap1() 101 Vec_Int_t * vMap; in Saig_ManStartMap2() local 105 for ( i = 0; i < vMap->nCap; i++ ) in Saig_ManStartMap2() 106 vMap->pArray[i] = -1; in Saig_ManStartMap2() 107 vMap->nSize = vMap->nCap; in Saig_ManStartMap2() [all …]
|
H A D | saigIso.c | 326 Vec_Int_t * vPos, * vMap; in Iso_ManFilterPos_old() local 339 Vec_PtrPush( vPerms, vMap ); in Iso_ManFilterPos_old() 357 vMap = Iso_ManFindMapping( pTemp, pPart, in Iso_ManFilterPos_old() 361 if ( vMap != NULL ) in Iso_ManFilterPos_old() 367 Vec_IntFree( vMap ); in Iso_ManFilterPos_old() 383 Vec_PtrForEachEntry( Vec_Int_t *, vPerms, vMap, i ) in Iso_ManFilterPos_old() 384 Vec_IntFree( vMap ); in Iso_ManFilterPos_old() 600 Vec_Int_t * vMap; in Iso_ManTest888() local 610 if ( vMap != NULL ) in Iso_ManTest888() 614 Vec_IntPrint( vMap ); in Iso_ManTest888() [all …]
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigScl.c | 81 pObjMapped = Vec_PtrEntry( vMap, i ); in Aig_ManRemap() 325 Vec_Ptr_t * vMap; in Aig_ManReduceLachesOnce() local 329 vMap = Vec_PtrAlloc( Aig_ManPiNum(p) ); in Aig_ManReduceLachesOnce() 331 Vec_PtrPush( vMap, pObj ); in Aig_ManReduceLachesOnce() 347 Vec_PtrPush( vMap, pObjLo ); in Aig_ManReduceLachesOnce() 360 Vec_PtrPush( vMap, pObjLo ); in Aig_ManReduceLachesOnce() 370 return vMap; in Aig_ManReduceLachesOnce() 387 Vec_Ptr_t * vMap; in Aig_ManReduceLaches() local 396 vMap = Aig_ManReduceLachesOnce( p ); in Aig_ManReduceLaches() 397 p = Aig_ManRemap( pTemp = p, vMap ); in Aig_ManReduceLaches() [all …]
|
H A D | aigTsim.c | 320 Vec_Ptr_t * vMap; in Aig_ManTernarySimulate() local 396 vMap = Vec_PtrAlloc( Aig_ManPiNum(p) ); in Aig_ManTernarySimulate() 398 Vec_PtrPush( vMap, pObj ); in Aig_ManTernarySimulate() 406 Vec_PtrPush( vMap, Aig_ManConst0(p) ); in Aig_ManTernarySimulate() 408 Vec_PtrPush( vMap, Aig_ManConst1(p) ); in Aig_ManTernarySimulate() 410 Vec_PtrPush( vMap, pObjLo ); in Aig_ManTernarySimulate() 419 return vMap; in Aig_ManTernarySimulate() 436 Vec_Ptr_t * vMap; in Aig_ManConstReduce() local 437 while ( (vMap = Aig_ManTernarySimulate( p, fVerbose )) ) in Aig_ManConstReduce() 441 p = Aig_ManRemap( pTemp = p, vMap ); in Aig_ManConstReduce() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdSim.c | 180 Vec_Int_t * vMap; // maps each node into its class in Sbd_GiaSimRoundBack() local 182 Sbd_GiaSimRound( p, 0, &vMap ); in Sbd_GiaSimRoundBack() 185 if ( Vec_IntEntry(vMap, i) == 0 ) in Sbd_GiaSimRoundBack() 187 else if ( Vec_IntEntry(vReprs, Vec_IntEntry(vMap, i)) == 0 ) in Sbd_GiaSimRoundBack() 188 Vec_IntWriteEntry( vReprs, Vec_IntEntry(vMap, i), i ); in Sbd_GiaSimRoundBack() 189 else if ( Vec_IntEntry(vReprs, Vec_IntEntry(vMap, i)) != -1 ) in Sbd_GiaSimRoundBack() 192 Vec_IntWriteEntry( vReprs, Vec_IntEntry(vMap, i), -1 ); in Sbd_GiaSimRoundBack() 196 Vec_IntFree( vMap ); in Sbd_GiaSimRoundBack() 222 Vec_Int_t * vMap = Vec_IntStart( Gia_ManObjNum(p) ); in Sbd_GiaSimRound() local 274 *pvMap = vMap; in Sbd_GiaSimRound() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfFast.c | 182 int iSatVar = vMap ? Vec_IntEntry(vMap, Aig_ObjId(pObj)) : Aig_ObjId(pObj); in Cnf_ObjGetLit() 208 OutLit = Cnf_ObjGetLit( vMap, pRoot, 0 ); in Cnf_ComputeClauses() 548 Vec_Int_t * vLits, * vClas, * vMap, * vTemp; in Cnf_DeriveFastClauses() local 556 vMap = Vec_IntStartFull( Aig_ManObjNumMax(p) ); in Cnf_DeriveFastClauses() 566 Vec_IntWriteEntry( vMap, Aig_ObjId(pObj), nVars++ ); in Cnf_DeriveFastClauses() 578 Vec_IntWriteEntry( vMap, Aig_ObjId(pObj), nVars++ ); in Cnf_DeriveFastClauses() 581 Vec_IntWriteEntry( vMap, Aig_ObjId(pObj), nVars++ ); in Cnf_DeriveFastClauses() 618 OutLit = Cnf_ObjGetLit( vMap, pObj, 0 ); in Cnf_DeriveFastClauses() 631 OutLit = Cnf_ObjGetLit( vMap, Aig_ManConst1(p), 0 ); in Cnf_DeriveFastClauses() 646 pCnf->pVarNums = Vec_IntReleaseArray( vMap ); in Cnf_DeriveFastClauses() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigTsim.c | 351 Vec_Ptr_t * vMap; in Aig_ManTernarySimulate() local 461 vMap = Vec_PtrAlloc( Aig_ManCiNum(p) ); in Aig_ManTernarySimulate() 463 Vec_PtrPush( vMap, pObj ); in Aig_ManTernarySimulate() 471 Vec_PtrPush( vMap, Aig_ManConst0(p) ); in Aig_ManTernarySimulate() 473 Vec_PtrPush( vMap, Aig_ManConst1(p) ); in Aig_ManTernarySimulate() 475 Vec_PtrPush( vMap, pObjLo ); in Aig_ManTernarySimulate() 484 return vMap; in Aig_ManTernarySimulate() 501 Vec_Ptr_t * vMap; in Aig_ManConstReduce() local 508 if ( vMap == NULL ) in Aig_ManConstReduce() 510 p = Aig_ManRemap( pTemp = p, vMap ); in Aig_ManConstReduce() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
H A D | plaMan.c | 88 Vec_Bit_t * vMap = Vec_BitStartFull( Abc_MaxInt(64, nBits) ); in Pla_ManPrimesTable() local 90 Vec_BitWriteEntry( vMap, i, 0 ); in Pla_ManPrimesTable() 91 Vec_BitShrink( vMap, nBits ); in Pla_ManPrimesTable() 92 Vec_BitWriteEntry( vMap, 0, 0 ); in Pla_ManPrimesTable() 93 Vec_BitWriteEntry( vMap, 1, 0 ); in Pla_ManPrimesTable() 95 if ( Vec_BitEntry(vMap, n) ) in Pla_ManPrimesTable() 97 Vec_BitWriteEntry( vMap, i, 0 ); in Pla_ManPrimesTable() 98 return vMap; in Pla_ManPrimesTable() 104 Vec_Bit_t * vMap = Pla_ManPrimesTable( nVars ); in Pla_GenPrimes() local 106 if ( Vec_BitEntry(vMap, n) ) in Pla_GenPrimes() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaGig.c | 384 Vec_Int_t * vMap, * vArray; in Gls_ManConstruct() local 393 vMap = Vec_IntStartFull( Vec_StrSize(p->vTypes) ); in Gls_ManConstruct() 394 Vec_IntWriteEntry( vMap, 0, 0 ); in Gls_ManConstruct() 395 Vec_IntWriteEntry( vMap, 1, 1 ); in Gls_ManConstruct() 398 Vec_IntWriteEntry( vMap, iObj, Gia_ManAppendCi(pGia) ); in Gls_ManConstruct() 401 Vec_IntWriteEntry( vMap, iObj, Gia_ManAppendCi(pGia) ); in Gls_ManConstruct() 408 Vec_IntWriteEntry( vMap, iObj, Gia_ManAppendCi(pGia) ); in Gls_ManConstruct() 427 Vec_IntWriteEntry( vMap, iObj, iLit ); in Gls_ManConstruct() 432 Vec_IntWriteEntry( vMap, iObj, iLit ); in Gls_ManConstruct() 441 Gia_ManAppendCo( pGia, Vec_IntEntry(vMap, iObj) ); in Gls_ManConstruct() [all …]
|
H A D | giaEquiv.c | 79 Gia_ManOrigIdsRemapPairsInsert( vMap, Smo, Vec_IntEntry(vMap, Big) ); in Gia_ManOrigIdsRemapPairsInsert() 85 return Gia_ManOrigIdsRemapPairsExtract( vMap, Vec_IntEntry(vMap, One) ); in Gia_ManOrigIdsRemapPairsExtract() 133 Vec_IntFree( vMap ); in Gia_ManOrigIdsReduce() 569 return vMap; in Gia_ManChoiceMinLevel() 752 Vec_Int_t * vMap; in Gia_ManEquivReduce2() local 804 Vec_IntFree( vMap ); in Gia_ManEquivReduce2() 1088 if ( vMap ) in Gia_ManSpecBuild() 1619 Vec_Int_t * vTrace, * vMap; in Gia_ManEquivFilter() local 1636 vMap = Vec_IntAlloc( 1000 ); in Gia_ManEquivFilter() 1654 Vec_IntFree( vMap ); in Gia_ManEquivFilter() [all …]
|
/dports/biology/jalview/jalview/src/jalview/io/vamsas/ |
H A D | Dbref.java | 77 Map vMap = null; in updateToDoc() local 80 vMap = new Map(); in updateToDoc() 81 initMapType(vMap, mp.getMap(), true); in updateToDoc() 82 dbref.addMap(vMap); in updateToDoc() 87 vMap = dbref.getMap(0); in updateToDoc() 88 initMapType(vMap, mp.getMap(), true); in updateToDoc() 226 Map vMap = new Map(); in addToDocument() local 227 initMapType(vMap, mp.getMap(), true); in addToDocument() 228 dbref.addMap(vMap); in addToDocument()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRefJ.c | 184 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rf2_ObjPrint() 189 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rf2_ObjPrint() 289 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rf2_ManCollect() 397 Gia_ManForEachObjVec( vMap, p, pObj, i ) in Rf2_ManVerifyUsingTerSim() 426 Gia_ManForEachObjVec( vMap, p, pObj, i ) in Rf2_ManVerifyUsingTerSim() 482 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rf2_ManGatherFanins() 490 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rf2_ManGatherFanins() 498 vUsed = Vec_IntStart( Vec_IntSize(p->vMap) ); in Rf2_ManGatherFanins() 501 printf( "\nMap (%d): ", Vec_IntSize(p->vMap) ); in Rf2_ManGatherFanins() 502 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rf2_ManGatherFanins() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbAbc.c | 172 Vec_Int_t * vMap = Vec_IntStart( nNameIdMax ); in Acb_NtkFromNdr() local 179 Vec_IntWriteEntry( vMap, NameId, ObjId ); in Acb_NtkFromNdr() 187 Vec_IntWriteEntry( vMap, NameId, ObjId ); in Acb_NtkFromNdr() 197 Vec_IntWriteEntry( vMap, NameId, ObjId ); in Acb_NtkFromNdr() 204 ObjId = Vec_IntEntry( vMap, NameId ); in Acb_NtkFromNdr() 208 if ( Vec_IntEntry(vMap, pArray[k]) == 0 ) in Acb_NtkFromNdr() 210 Acb_ObjAddFanin( pNtk, ObjId, Vec_IntEntry(vMap, pArray[k]) ); in Acb_NtkFromNdr() 221 if ( Vec_IntEntry(vMap, pArray[0]) == 0 ) in Acb_NtkFromNdr() 224 Vec_IntWriteEntry( vMap, pArray[0], Token0 ); in Acb_NtkFromNdr() 226 Acb_ObjAddFanin( pNtk, ObjId, Vec_IntEntry(vMap, pArray[0]) ); in Acb_NtkFromNdr() [all …]
|
/dports/x11-toolkits/gtkmathview/gtkmathview-0.8.0/src/backend/common/ |
H A D | StandardSymbolsShaper.cc | 245 static StandardSymbolsShaper::VStretchyChar vMap[] = variable 274 for (unsigned i = 0; vMap[i].ch != 0; i++) in registerShaper() 275 registerStretchyCharV(sm, shaperId, vMap[i], i); in registerShaper() 290 const VStretchyChar& vMap, Char8 glyphId) in registerStretchyCharV() argument 291 { sm->registerStretchyChar(vMap.ch, GlyphSpec(shaperId, V_STRETCHY_FONT_INDEX, glyphId)); } in registerStretchyCharV() 359 const VStretchyChar* charSpec = &vMap[context.getSpec().getGlyphId()]; in shapeStretchyCharV()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmcAnd.c | 248 assert( Vec_IntEntry(vMap, Gia_ObjId(p, pObj)) != -1 ); in Bmc_MnaBuild_rec() 265 Vec_IntWriteEntry( vMap, Gia_ObjId(p, pObj), iLit ); in Bmc_MnaBuild() 289 Vec_Int_t * vRoots, * vCone, * vLeaves, * vMap; in Gia_ManBmcUnroll() local 325 vMap = Vec_IntStartFull( Gia_ManObjNum(pGia) ); in Gia_ManBmcUnroll() 343 Vec_IntWriteEntry( vMap, Gia_ObjId(pGia, pObj), 0 ); in Gia_ManBmcUnroll() 357 …Vec_IntWriteEntry( vMap, Gia_ObjId(pGia, Gia_ObjRiToRo(pGia, pObj)), Vec_IntEntry(vMap, Gia_ObjId(… in Gia_ManBmcUnroll() 367 Vec_IntFree( vMap ); in Gia_ManBmcUnroll() 505 Vec_Int_t * vUsed, * vMap; in Gia_ManBmcAddCnf() local 517 vMap = Vec_IntStartFull( pCnf->nVars ); in Gia_ManBmcAddCnf() 519 Vec_IntWriteEntry( vMap, pCnf->pVarNums[0], VarC0 ); in Gia_ManBmcAddCnf() [all …]
|