/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrClass.c | 45 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 D | bacPrsBuild.c | 95 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 D | bacNtk.c | 276 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 D | bacBlast.c | 87 …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 D | saigTrans.c | 54 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 D | saigIso.c | 326 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 D | acecXor.c | 131 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 D | acecCover.c | 89 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 D | acecCo.c | 96 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 D | acecTree.c | 381 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 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() 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 D | acecFadds.c | 468 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 D | aigScl.c | 61 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 D | aigTsim.c | 320 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 D | Dbref.java | 77 Map vMap = null; in updateToDoc() local 226 Map vMap = new Map(); in addToDocument() local
|
/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 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 D | StandardSymbolsShaper.cc | 245 static StandardSymbolsShaper::VStretchyChar vMap[] = variable 290 const VStretchyChar& vMap, Char8 glyphId) in registerStretchyCharV()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigScl.c | 46 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 D | cnfFast.c | 180 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 D | giaEquiv.c | 71 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 D | absRef.c | 619 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 D | plaMan.c | 88 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 D | iosdevice.cpp | 158 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 D | STLReader.cc | 247 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 D | int2Util.c | 47 Vec_Int_t * vCoPres, * vMap; in Int2_ManComputeCoPres() local
|