Home
last modified time | relevance | path

Searched defs:vMap (Results 1 – 25 of 159) sorted by relevance

1234567

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrClass.c45 Aig_Man_t * Pdr_ManRehashWithMap( Aig_Man_t * pAig, Vec_Int_t * vMap ) in Pdr_ManRehashWithMap()
94 Vec_Int_t * vMap; in Pdr_ManCreateMap() local
127 int Pdr_ManCountMap( Vec_Int_t * vMap ) in Pdr_ManCountMap()
147 void Pdr_ManPrintMap( Vec_Int_t * vMap ) in Pdr_ManPrintMap()
190 Vec_Int_t * vMap; in Pdr_ManEquivClasses() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacPrsBuild.c95 void Psr_ManRemapOne( Vec_Int_t * vSigs, Psr_Ntk_t * pNtkBox, Vec_Int_t * vMap ) in Psr_ManRemapOne()
128 void Psr_ManRemapBoxes( Bac_Man_t * pNew, Vec_Ptr_t * vDes, Psr_Ntk_t * pNtk, Vec_Int_t * vMap ) in Psr_ManRemapBoxes()
144 void Psr_ManCleanMap( Psr_Ntk_t * pNtk, Vec_Int_t * vMap ) in Psr_ManCleanMap()
157 void Psr_ManBuildNtk( Bac_Ntk_t * pNew, Vec_Ptr_t * vDes, Psr_Ntk_t * pNtk, Vec_Int_t * vMap, Vec_I… in Psr_ManBuildNtk()
332 Vec_Int_t * vMap = Vec_IntStartFull( Abc_NamObjNumMax(pNtk->pStrs) + 1 ); in Psr_ManBuildCba() local
H A DbacNtk.c276 int Bac_ManAssignInternTwo( Bac_Ntk_t * p, int iNum, int nDigits, char * pPref, Vec_Int_t * vMap ) in Bac_ManAssignInternTwo()
302 void Bac_ManAssignInternWordNamesNtk( Bac_Ntk_t * p, Vec_Int_t * vMap ) in Bac_ManAssignInternWordNamesNtk()
394 Vec_Int_t * vMap = Vec_IntStart( 2*Bac_ManObjNum(p) ); in Bac_ManAssignInternWordNames() local
H A DbacBlast.c87 …n_t * pNew, int iRes, Bac_Man_t * p, int iLNtk, int iLObj, int iRNtk, int iRObj, Vec_Int_t * vMap ) in Bac_ManAddBarbuf()
109 int Bac_ManExtract_rec( Gia_Man_t * pNew, Bac_Ntk_t * p, int i, int fBuffers, Vec_Int_t * vMap ) in Bac_ManExtract_rec()
220 Vec_Int_t * vMap = NULL; in Bac_ManExtract() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigTrans.c54 Vec_Int_t * vMap; in Saig_ManStartMap1() local
75 Vec_Int_t * vMap = (Vec_Int_t *)p->pData; in Saig_ManSetMap1() local
83 Vec_Int_t * vMap = (Vec_Int_t *)p->pData; in Saig_ManGetMap1() local
101 Vec_Int_t * vMap; in Saig_ManStartMap2() local
122 Vec_Int_t * vMap = (Vec_Int_t *)p->pData2; in Saig_ManSetMap2() local
131 Vec_Int_t * vMap = (Vec_Int_t *)p->pData2; in Saig_ManGetMap2() local
H A DsaigIso.c326 Vec_Int_t * vPos, * vMap; in Iso_ManFilterPos_old() local
600 Vec_Int_t * vMap; in Iso_ManTest888() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecXor.c131 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i; in Acec_MapXorOuts() local
139 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i; in Acec_MapXorOuts2() local
148 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i; in Acec_MapMajOuts() local
156 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); int i; in Acec_MapMajOuts2() local
165 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i; in Acec_MapXorIns() local
296 Vec_Int_t * vLevel, * vLevel2, * vMap; in Acec_FindBox() local
H A DacecCover.c89 void Gia_AcecCollectXors_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Bit_t * vMap, Vec_Int_t * vXors ) in Gia_AcecCollectXors_rec()
97 Vec_Int_t * Gia_AcecCollectXors( Gia_Man_t * p, Vec_Bit_t * vMap ) in Gia_AcecCollectXors()
120 Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); in Gia_AcecExplore() local
H A DacecCo.c96 Vec_Wec_t * vMap = Vec_WecStart( nObjs ); int i; in Gia_PolynComputeMap() local
108 Vec_Int_t * Gia_PolynCoreOrder_int( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Wec_t * vMap, Vec_Int_… in Gia_PolynCoreOrder_int()
166 Vec_Wec_t * vMap = Gia_PolynComputeMap( vAdds, Gia_ManObjNum(pGia) ); in Gia_PolynCoreOrder() local
198 void Gia_PolyCollectRoots_rec( Vec_Int_t * vAdds, Vec_Wec_t * vMap, Vec_Bit_t * vMarks, int iBox, V… in Gia_PolyCollectRoots_rec()
215 void Gia_PolyCollectRoots( Vec_Int_t * vAdds, Vec_Wec_t * vMap, Vec_Bit_t * vMarks, int iBox, Vec_I… in Gia_PolyCollectRoots()
226 Vec_Wec_t * vMap = Gia_PolynComputeMap( vAdds, Gia_ManObjNum(pGia) ); in Gia_PolynCoreOrderArray() local
H A DacecTree.c381 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); in Acec_TreeCarryMap() local
389 void Acec_TreePhases_rec( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vMap, int Node, int fPhase,… in Acec_TreePhases_rec()
436 void Acec_TreeAddInOutPoint( Vec_Int_t * vMap, int iObj, int iAdd, int fOut ) in Acec_TreeAddInOutPoint()
446 Vec_Int_t * vMap = Vec_IntStartFull( 2*Gia_ManObjNum(p) ); in Acec_TreeFindPoints() local
481 void Acec_TreeFindTrees2_rec( Vec_Int_t * vAdds, Vec_Int_t * vMap, int iAdd, int Rank, Vec_Int_t * … in Acec_TreeFindTrees2_rec()
494 void Acec_TreeFindTrees_rec( Vec_Int_t * vAdds, Vec_Int_t * vMap, int iObj, int Rank, Vec_Int_t * v… in Acec_TreeFindTrees_rec()
506 Vec_Int_t * vMap = Acec_TreeFindPoints( p, vAdds, vIgnore ); in Acec_TreeFindTrees() local
613 Vec_Int_t * vLevel, * vMap; in Acec_CreateBox() local
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()
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()
180 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); in Pas_ManComputeCuts() local
H A DacecFadds.c468 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); int i; in Gia_ManCreateMap() local
474 int Gia_ManFindChains_rec( Gia_Man_t * p, int iMaj, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Int_t… in Gia_ManFindChains_rec()
505 void Gia_ManFindChains( Gia_Man_t * p, Vec_Int_t * vFadds, Vec_Int_t * vMap ) in Gia_ManFindChains()
515 void Gia_ManCollectOneChain( Gia_Man_t * p, Vec_Int_t * vFadds, int iFaddTop, Vec_Int_t * vMap, Vec… in Gia_ManCollectOneChain()
541 Vec_Wec_t * Gia_ManCollectTopmost( Gia_Man_t * p, Vec_Int_t * vFadds, Vec_Int_t * vMap, int nFaddMi… in Gia_ManCollectTopmost()
575 void Gia_ManPrintChains( Gia_Man_t * p, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * vChains ) in Gia_ManPrintChains()
605 Vec_Int_t * Gia_ManFindMapping( Gia_Man_t * p, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * vC… in Gia_ManFindMapping()
703 …an_t * pNew, Gia_Man_t * p, Vec_Int_t * vChain, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * … in Gia_ManDupFadd()
769 …_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * … in Gia_ManDupWithFaddBoxes_rec()
793 Vec_Int_t * vFadds, * vMap, * vMap2Chain, * vTruths, * vChain; in Gia_ManDupWithNaturalBoxes() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigScl.c61 Aig_Man_t * Aig_ManRemap( Aig_Man_t * p, Vec_Ptr_t * vMap ) in Aig_ManRemap()
325 Vec_Ptr_t * vMap; in Aig_ManReduceLachesOnce() local
387 Vec_Ptr_t * vMap; in Aig_ManReduceLaches() local
H A DaigTsim.c320 Vec_Ptr_t * vMap; in Aig_ManTernarySimulate() local
436 Vec_Ptr_t * vMap; in Aig_ManConstReduce() local
/dports/biology/jalview/jalview/src/jalview/io/vamsas/
H A DDbref.java77 Map vMap = null; in updateToDoc() local
226 Map vMap = new Map(); in addToDocument() local
/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
222 Vec_Int_t * vMap = Vec_IntStart( Gia_ManObjNum(p) ); in Sbd_GiaSimRound() local
/dports/x11-toolkits/gtkmathview/gtkmathview-0.8.0/src/backend/common/
H A DStandardSymbolsShaper.cc245 static StandardSymbolsShaper::VStretchyChar vMap[] = variable
290 const VStretchyChar& vMap, Char8 glyphId) in registerStretchyCharV()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigScl.c46 Aig_Man_t * Aig_ManRemap( Aig_Man_t * p, Vec_Ptr_t * vMap ) in Aig_ManRemap()
396 Vec_Ptr_t * vMap; in Aig_ManReduceLachesOnce() local
458 Vec_Ptr_t * vMap; in Aig_ManReduceLaches() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/
H A DcnfFast.c180 static inline int Cnf_ObjGetLit( Vec_Int_t * vMap, Aig_Obj_t * pObj, int fCompl ) in Cnf_ObjGetLit()
199 …Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes, Vec_Int_t * vMap, Vec_Int_t * vCover, Vec_Int_t * vClause… in Cnf_ComputeClauses()
548 Vec_Int_t * vLits, * vClas, * vMap, * vTemp; in Cnf_DeriveFastClauses() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEquiv.c71 void Gia_ManOrigIdsRemapPairsInsert( Vec_Int_t * vMap, int One, int Two ) in Gia_ManOrigIdsRemapPairsInsert()
81 int Gia_ManOrigIdsRemapPairsExtract( Vec_Int_t * vMap, int One ) in Gia_ManOrigIdsRemapPairsExtract()
110 Vec_Int_t * vMap = Gia_ManOrigIdsRemapPairs( vPairs, Gia_ManObjNum(p) ); in Gia_ManOrigIdsReduce() local
523 int Gia_ManChoiceMinLevel_rec( Gia_Man_t * p, int iPivot, int fDiveIn, Vec_Int_t * vMap ) in Gia_ManChoiceMinLevel_rec()
558 Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); in Gia_ManChoiceMinLevel() local
725 void Gia_ManEquivReduce2_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vMap, … in Gia_ManEquivReduce2_rec()
752 Vec_Int_t * vMap; in Gia_ManEquivReduce2() local
1071 … vXorLits, int fDualOut, int fSpeculate, Vec_Int_t * vTrace, Vec_Int_t * vGuide, Vec_Int_t * vMap ) in Gia_ManSpecBuild()
1113 … vXorLits, int fDualOut, int fSpeculate, Vec_Int_t * vTrace, Vec_Int_t * vGuide, Vec_Int_t * vMap ) in Gia_ManSpecReduce_rec()
1135 Gia_Man_t * Gia_ManSpecReduceTrace( Gia_Man_t * p, Vec_Int_t * vTrace, Vec_Int_t * vMap ) in Gia_ManSpecReduceTrace()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRef.c619 void Rnm_ManVerifyUsingTerSim( Gia_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, Vec_Int_t * vObjs… in Rnm_ManVerifyUsingTerSim()
673 Vec_Int_t * Rnm_ManRefine( Rnm_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, int fPropFanout, int … in Rnm_ManRefine()
/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
104 Vec_Bit_t * vMap = Pla_ManPrimesTable( nVars ); in Pla_GenPrimes() local
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/plugins/ios/
H A Diosdevice.cpp158 const QVariantMap vMap = map.value(QLatin1String(Constants::EXTRA_INFO_KEY)).toMap(); in fromMap() local
166 QVariantMap vMap; in toMap() local
576 QVariantMap vMap = map.value(QLatin1String(Constants::EXTRA_INFO_KEY)).toMap(); in canRestore() local
/dports/math/openmesh/OpenMesh-8.1/src/OpenMesh/Core/IO/reader/
H A DSTLReader.cc247 std::map<Vec3f, VertexHandle, CmpVec> vMap(comp); in read_stla() local
380 std::map<Vec3f, VertexHandle, CmpVec> vMap; in read_stlb() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/
H A Dint2Util.c47 Vec_Int_t * vCoPres, * vMap; in Int2_ManComputeCoPres() local

1234567