Home
last modified time | relevance | path

Searched refs:vMap (Results 1 – 25 of 362) sorted by relevance

12345678910>>...15

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrClass.c62 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 DbacPrsBuild.c101 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 DbacNtk.c279 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 DacecOrder.c52 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 DacecCover.c94 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 DacecXor.c131 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 DacecCo.c96 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 DacecTree.c381 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 DacecPa.c122 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 DacecFadds.c471 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 DsaigTrans.c54 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 DsaigIso.c326 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 DaigScl.c81 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 DaigTsim.c320 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 DsbdSim.c180 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 DcnfFast.c182 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 DaigTsim.c351 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 DplaMan.c88 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 DgiaGig.c384 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 DgiaEquiv.c79 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 DDbref.java77 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 DabsRefJ.c184 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 DacbAbc.c172 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 DStandardSymbolsShaper.cc245 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 DbmcBmcAnd.c248 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 …]

12345678910>>...15