Home
last modified time | relevance | path

Searched refs:Vec_IntWriteEntry (Results 1 – 25 of 285) sorted by relevance

12345678910>>...12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecOrder.c52 Vec_IntWriteEntry( vMap, iAnd, 1 ); in Gia_PolynFindOrder()
63 Vec_IntWriteEntry( vMap, iAnd, 0 ); in Gia_PolynFindOrder()
64 Vec_IntWriteEntry( vMap, Gia_ObjFaninId0(pAnd, iAnd), 1 ); in Gia_PolynFindOrder()
65 Vec_IntWriteEntry( vMap, Gia_ObjFaninId1(pAnd, iAnd), 1 ); in Gia_PolynFindOrder()
87 Vec_IntWriteEntry( vMap, iXor, 0 ); in Gia_PolynFindOrder()
88 Vec_IntWriteEntry( vMap, iMaj, 0 ); in Gia_PolynFindOrder()
110 Vec_IntWriteEntry( vMap, iXor, 0 ); in Gia_PolynFindOrder()
111 Vec_IntWriteEntry( vMap, iMaj, 0 ); in Gia_PolynFindOrder()
169 Vec_IntWriteEntry( vRecord2, i, Abc_Var2Lit2(iAnd, 0) ); in Gia_PolynFindOrder()
235 Vec_IntWriteEntry( vOrder2, Entry, 1+i ); in Gia_PolynReorder()
[all …]
H A DacecStruct.c64 Vec_IntWriteEntry( vXors, k++, Entry ); in Acec_StructDetectXorRoots()
89 Vec_IntWriteEntry( vRanks, Entry, i ); in Acec_StructAssignRanks()
108 Vec_IntWriteEntry( vRanks, Fanins[k], Rank ); in Acec_StructAssignRanks()
117 Vec_IntWriteEntry( vRanks, Entry, -1 ); in Acec_StructAssignRanks()
181 Vec_IntWriteEntry( vShadows, Gia_ObjId(p, pObj), -1 ); in Acec_FindShadows()
189 Vec_IntWriteEntry(vShadows, i, Shad0); in Acec_FindShadows()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/xsat/
H A DxsatHeap.h98 Vec_IntWriteEntry( h->vHeap, i, Vec_IntEntry( h->vHeap, p ) ); in xSAT_HeapPercolateUp()
103 Vec_IntWriteEntry( h->vHeap, i, x ); in xSAT_HeapPercolateUp()
104 Vec_IntWriteEntry( h->vIndices, x, i ); in xSAT_HeapPercolateUp()
135 Vec_IntWriteEntry( h->vHeap, i, x ); in xSAT_HeapPercolateDown()
136 Vec_IntWriteEntry( h->vIndices, x, i ); in xSAT_HeapPercolateDown()
232 Vec_IntWriteEntry( p->vIndices, n, Vec_IntSize( p->vHeap ) ); in xSAT_HeapInsert()
275 Vec_IntWriteEntry( p->vIndices, Var, -1 ); in xSAT_HeapBuild()
280 Vec_IntWriteEntry( p->vIndices, Var, i ); in xSAT_HeapBuild()
319 Vec_IntWriteEntry( p->vHeap, 0, Vec_IntEntryLast( p->vHeap ) ); in xSAT_HeapRemoveMin()
320 Vec_IntWriteEntry( p->vIndices, Vec_IntEntry( p->vHeap, 0), 0 ); in xSAT_HeapRemoveMin()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacPrsBuild.c118 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManRemapOne()
120 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManRemapOne()
126 Vec_IntWriteEntry( vSigs, i, i/2 + 1 ), i++; in Psr_ManRemapGate()
149 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManCleanMap()
154 Vec_IntWriteEntry( vMap, NameId, -1 ); in Psr_ManCleanMap()
172 Vec_IntWriteEntry( vMap, NameId, iObj ); in Psr_ManBuildNtk()
191 Vec_IntWriteEntry( vMap, NameId, iTerm ); in Psr_ManBuildNtk()
211 Vec_IntWriteEntry( vMap, NameId, iTerm ); in Psr_ManBuildNtk()
227 Vec_IntWriteEntry( vMap, NameId, iTerm ); in Psr_ManBuildNtk()
289 Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); in Psr_ManBuildNtk()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb1Man.c63 Vec_IntWriteEntry( p->vNs2Glo, iVarLi, i ); in Llb_ManPrepareVarMap()
64 Vec_IntWriteEntry( p->vCs2Glo, iVarLo, i ); in Llb_ManPrepareVarMap()
65 Vec_IntWriteEntry( p->vGlo2Cs, i, iVarLo ); in Llb_ManPrepareVarMap()
66 Vec_IntWriteEntry( p->vGlo2Ns, i, iVarLi ); in Llb_ManPrepareVarMap()
72 Vec_IntWriteEntry( p->vCs2Glo, iVarLo, Aig_ManRegNum(p->pAig)+i ); in Llb_ManPrepareVarMap()
73 Vec_IntWriteEntry( p->vNs2Glo, iVarLo, Aig_ManRegNum(p->pAig)+i ); in Llb_ManPrepareVarMap()
105 Vec_IntWriteEntry( p->vVarBegs, pVar->Id, i ); in Llb_ManPrepareVarLimits()
108 Vec_IntWriteEntry( p->vVarBegs, pVar->Id, i ); in Llb_ManPrepareVarLimits()
112 Vec_IntWriteEntry( p->vVarEnds, pVar->Id, i ); in Llb_ManPrepareVarLimits()
115 Vec_IntWriteEntry( p->vVarEnds, pVar->Id, i ); in Llb_ManPrepareVarLimits()
H A Dllb1Hint.c137 Vec_IntWriteEntry( vResult, i, Vec_IntEntry(vResult, i+1) ); in Llb_ManCollectHighFanoutObjects()
138 Vec_IntWriteEntry( vResult, i+1, Temp ); in Llb_ManCollectHighFanoutObjects()
182 Vec_IntWriteEntry( vHints, Entry, 1 ); // change to 1 to start from zero cof!!! in Llb_ManModelCheckAigWithHints()
196 Vec_IntWriteEntry( vHints, Entry, -1 ); in Llb_ManModelCheckAigWithHints()
H A Dllb4Cluster.c54 Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), (*pCounter)++ ); in Llb_Nonlin4FindOrder_rec()
72 Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), (*pCounter)++ ); in Llb_Nonlin4FindOrder_rec()
107 Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ ); in Llb_Nonlin4FindOrder()
112 Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ ); in Llb_Nonlin4FindOrder()
234 Vec_IntWriteEntry( vVars2Q, Llb_ObjBddVar(vOrder, pObj), 0 ); in Llb_Nonlin4FindVars2Q()
237 Vec_IntWriteEntry( vVars2Q, Llb_ObjBddVar(vOrder, pObj), 0 ); in Llb_Nonlin4FindVars2Q()
352 Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), -1 ); in Llb_Nonlin4PrintSuppProfile()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEdge.c38 Vec_IntWriteEntry(vEdge1, iObj, iNext); in Gia_ObjEdgeAdd()
40 Vec_IntWriteEntry(vEdge2, iObj, iNext); in Gia_ObjEdgeAdd()
49 Vec_IntWriteEntry( vEdge2, iObj, 0 ); in Gia_ObjEdgeRemove()
53 Vec_IntWriteEntry( vEdge1, iObj, 0 ); in Gia_ObjEdgeClean()
54 Vec_IntWriteEntry( vEdge2, iObj, 0 ); in Gia_ObjEdgeClean()
306 Vec_IntWriteEntry(vEdge1, iObj, 0); in Gia_ObjComputeEdgeDelay()
307 Vec_IntWriteEntry(vEdge2, iObj, 0); in Gia_ObjComputeEdgeDelay()
387 Vec_IntWriteEntry( vDelay, iObj, DelayMax ); in Gia_ObjComputeEdgeDelay()
494 Vec_IntWriteEntry(vEdge1, iObj, 0); in Gia_ObjComputeEdgeDelay2()
495 Vec_IntWriteEntry(vEdge2, iObj, 0); in Gia_ObjComputeEdgeDelay2()
[all …]
H A DgiaGig.c249 Vec_IntWriteEntry( p->vIndexes, iObj, -1 ); in Gls_ManParse()
275 Vec_IntWriteEntry( p->vIndexes, iObj, Entry ); in Gls_ManParse()
341 Vec_IntWriteEntry( p->vIndexes, iObj, Vec_IntSize(p->vDelays) ); in Gls_ManParse()
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()
411 Vec_IntWriteEntry( vMap, iObj, Gia_ManAppendCi(pGia) ); in Gls_ManConstruct()
427 Vec_IntWriteEntry( vMap, iObj, iLit ); in Gls_ManConstruct()
[all …]
H A DgiaPack.c91 Vec_IntWriteEntry( vDist, Id, 1 ); in Gia_ManLutCollect()
101 Vec_IntWriteEntry( vDist, k++, -Vec_IntEntry(vDist, Id) ); in Gia_ManLutCollect()
152 Vec_IntWriteEntry( vBlock, Id, iBlock ); in Gia_ManLutPacking()
158 Vec_IntWriteEntry( vBlock, Id, Vec_IntSize(vBSize) ); in Gia_ManLutPacking()
164 Vec_IntWriteEntry( vDelay, Id, Delay ); in Gia_ManLutPacking()
186 Vec_IntWriteEntry( vPacking, Start, Id ); in Gia_ManLutPacking()
H A DgiaMfs.c121 Vec_IntWriteEntry( vStarts, Counter, Vec_WrdSize(vTruths2) ); in Gia_ManExtractMfs()
218 Vec_IntWriteEntry( vStarts, Counter, Vec_WrdSize(vTruths2) ); in Gia_ManExtractMfs()
312 Vec_IntWriteEntry( vMfs2Old, Gia_ObjCopyArray(p, i), i ); in Gia_ManInsertMfs()
327 Vec_IntWriteEntry( vGroupMap, iMfsId, Abc_Var2Lit(i,0) ); in Gia_ManInsertMfs()
335 Vec_IntWriteEntry( vGroupMap, iMfsId, Abc_Var2Lit(i,1) ); in Gia_ManInsertMfs()
359 Vec_IntWriteEntry( vMapping, 0, Vec_IntSize(vMapping2) ); in Gia_ManInsertMfs()
364 Vec_IntWriteEntry( vMfs2Gia, Gia_ObjCopyArray(p, 0), 0 ); in Gia_ManInsertMfs()
368 Vec_IntWriteEntry( vMfs2Gia, Gia_ObjCopyArray(p, Id), Gia_ManAppendCi(pNew) ); in Gia_ManInsertMfs()
382 Vec_IntWriteEntry( vMfs2Gia, iMfsId, iLitNew ); in Gia_ManInsertMfs()
404 Vec_IntWriteEntry(vMapping2, Vec_IntSize(vMapping2)-1, -Abc_Lit2Var(iLitNew) ); in Gia_ManInsertMfs()
[all …]
H A DgiaFx.c263 Vec_IntWriteEntry( vVisit, iObj, 1 ); in Gia_ManFxTopoOrder_rec()
296 Vec_IntWriteEntry( vFirst, iFanin, i ); in Gia_ManFxTopoOrder()
303 Vec_IntWriteEntry( vVisit, i, 1 ); in Gia_ManFxTopoOrder()
355 Vec_IntWriteEntry( vMap, Abc_Lit2Var(Lit), Vec_IntSize(vFanins) ); in Gia_ManFxInsert()
382 Vec_IntWriteEntry( vMap, Var, -1 ); in Gia_ManFxInsert()
383 Vec_IntWriteEntry( vFanins, v, Vec_IntEntry(vCopies, Var) ); in Gia_ManFxInsert()
409 Vec_IntWriteEntry( vMap, Var, -1 ); in Gia_ManFxInsert()
410 Vec_IntWriteEntry( vFanins, v, Vec_IntEntry(vCopies, Var) ); in Gia_ManFxInsert()
419 Vec_IntWriteEntry( vCopies, iItem, Lit ); in Gia_ManFxInsert()
H A DgiaRex.c131 Vec_IntWriteEntry( vStr2Sta, i, nStates++ ); in Gia_ManRexNumInputs()
133 Vec_IntWriteEntry( vStr2Sta, i, nStates ); in Gia_ManRexNumInputs()
164 Vec_IntWriteEntry( vVisited, iState, TravId ); in Gia_ManPrintReached_rec()
242 Vec_IntWriteEntry( vStaTrans, Lp, Or + 1 ); in Gia_ManRex2Gia()
243 Vec_IntWriteEntry( vStaTrans, Or, i ); in Gia_ManRex2Gia()
250 Vec_IntWriteEntry( vStaTrans, Lp, i+1 ); in Gia_ManRex2Gia()
251 Vec_IntWriteEntry( vStaTrans, i+1, Lp ); in Gia_ManRex2Gia()
277 Vec_IntWriteEntry( vStaLits, iThat, iLit ); in Gia_ManRex2Gia()
287 Vec_IntWriteEntry( vStaLits, k, Gia_ManHashAnd(pNew, iLit, Entry) ); in Gia_ManRex2Gia()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscInt.h91 …tSatVar( Ssc_Man_t * p, int iObj, int Num ) { Vec_IntWriteEntry(p->vId2Var, iObj, Num); Vec_IntWr… in Ssc_ObjSetSatVar()
92 …sc_Man_t * p, int Num ) { Vec_IntWriteEntry(p->vId2Var, Vec_IntEntry(p->vVar2Id, Num), Num… in Ssc_ObjCleanSatVar()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmInt.h172 … Mpm_ObjSetCutBest( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vCutBest… in Mpm_ObjSetCutBest()
180 … Mpm_ObjSetCutList( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vCutList… in Mpm_ObjSetCutList()
190 … Mpm_ObjSetMapRef( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vMapRefs… in Mpm_ObjSetMapRef()
193 … Mpm_ObjSetEstRef( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vEstRefs… in Mpm_ObjSetEstRef()
197 … Mpm_ObjSetRequired( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vRequire… in Mpm_ObjSetRequired()
200 … Mpm_ObjSetTime( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vTimes, … in Mpm_ObjSetTime()
203 … Mpm_ObjSetArea( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vAreas, … in Mpm_ObjSetArea()
206 … Mpm_ObjSetEdge( Mpm_Man_t * p, Mig_Obj_t * pObj, int i ) { Vec_IntWriteEntry(&p->vEdges, … in Mpm_ObjSetEdge()
H A DmpmGates.c160 Vec_IntWriteEntry( vCopy, iMigLit, Abc_ObjId(pObj) ); in Mpm_ManGetAbcNode()
196 Vec_IntWriteEntry( vCopy, Abc_Var2Lit( Mig_ObjId(pNode), 0 ), Abc_ObjId(pObj) ); in Mpm_ManDeriveMappedAbcNtk()
205 Vec_IntWriteEntry( vCopy, Abc_Var2Lit( 0, 0 ), Abc_ObjId(pObj) ); in Mpm_ManDeriveMappedAbcNtk()
212 Vec_IntWriteEntry( vCopy, Abc_Var2Lit( 0, 1 ), Abc_ObjId(pObj) ); in Mpm_ManDeriveMappedAbcNtk()
234 Vec_IntWriteEntry( vCopy, Abc_Var2Lit(iNode, fCompl), Abc_ObjId(pObj) ); in Mpm_ManDeriveMappedAbcNtk()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/
H A DsclCon.h162 …UT_ARR)) ) if ( (Num = Abc_NamStrFind(pNamI, pToken2)) > 0 ) Vec_IntWriteEntry( &p->vInArrs… in Scl_ConParse()
163 …UT_SLEW)) ) if ( (Num = Abc_NamStrFind(pNamI, pToken2)) > 0 ) Vec_IntWriteEntry( &p->vInSlew… in Scl_ConParse()
164 …UT_LOAD)) ) if ( (Num = Abc_NamStrFind(pNamI, pToken2)) > 0 ) Vec_IntWriteEntry( &p->vInLoad… in Scl_ConParse()
165 …PUT_REQ)) ) if ( (Num = Abc_NamStrFind(pNamO, pToken2)) > 0 ) Vec_IntWriteEntry( &p->vOutReq… in Scl_ConParse()
166 …PUT_LOAD)) ) if ( (Num = Abc_NamStrFind(pNamO, pToken2)) > 0 ) Vec_IntWriteEntry( &p->vOutLoa… in Scl_ConParse()
179 …Entry( &p->vInArrs, Value, i ) if ( Value == SCL_INFINITY ) Vec_IntWriteEntry( &p->vInArrs… in Scl_ConParse()
180 …Entry( &p->vInSlews, Value, i ) if ( Value == SCL_INFINITY ) Vec_IntWriteEntry( &p->vInSlew… in Scl_ConParse()
181 …Entry( &p->vInLoads, Value, i ) if ( Value == SCL_INFINITY ) Vec_IntWriteEntry( &p->vInLoad… in Scl_ConParse()
182 …Entry( &p->vOutReqs, Value, i ) if ( Value == SCL_INFINITY ) Vec_IntWriteEntry( &p->vOutReq… in Scl_ConParse()
183 …Entry( &p->vOutLoads, Value, i ) if ( Value == SCL_INFINITY ) Vec_IntWriteEntry( &p->vOutLoa… in Scl_ConParse()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcQbf.c93 Vec_IntWriteEntry( vVarMap, pCnf->pVarNums[Aig_ObjId(pObj)], 1 ); in Abc_NtkQbf()
122 Vec_IntWriteEntry( vPiValues, i, rand() & 1 ); in Abc_NtkQbf()
234 Vec_IntWriteEntry( vPiValues, i, pModel[i] ); in Abc_NtkModelToVector()
252 Vec_IntWriteEntry( vPiValues, i, -1 ); in Abc_NtkVectorClearPars()
270 Vec_IntWriteEntry( vPiValues, i, -1 ); in Abc_NtkVectorClearVars()
H A DabcScorr.c81 Vec_IntWriteEntry( vId2Name, Aig_ObjId(pObjAig), Abc_ObjId(pNet) ); in Abc_NtkMapGiaIntoNameId()
83 Vec_IntWriteEntry( vId2Name, Abc_Lit2Var(pObjAig->iData), Abc_ObjId(pNet) ); in Abc_NtkMapGiaIntoNameId()
96 Vec_IntWriteEntry( vId2Name, Aig_ObjId(pObjAig), Abc_ObjId(pNet) ); in Abc_NtkMapGiaIntoNameId()
98 Vec_IntWriteEntry( vId2Name, Abc_Lit2Var(pObjAig->iData), Abc_ObjId(pNet) ); in Abc_NtkMapGiaIntoNameId()
111 Vec_IntWriteEntry( vId2Name, Aig_ObjId(pObjAig), Abc_ObjId(pNet) ); in Abc_NtkMapGiaIntoNameId()
113 Vec_IntWriteEntry( vId2Name, Abc_Lit2Var(pObjAig->iData), Abc_ObjId(pNet) ); in Abc_NtkMapGiaIntoNameId()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadPlaMo.c377 Vec_IntWriteEntry( vGroup, k++, Entry ); in Map_ManGroupCompact()
399 Vec_IntWriteEntry( vGroup, c2, -1 ); in Mop_ManRemoveIdentical()
424 Vec_IntWriteEntry( vCounts, Entry, -1 ); in Mop_ManCompatiblePairs()
425 Vec_IntWriteEntry( vCounts, Entry2, -1 ); in Mop_ManCompatiblePairs()
432 Vec_IntWriteEntry( vCounts, Entry, -1 ); in Mop_ManCompatiblePairs()
433 Vec_IntWriteEntry( vCounts, Entry2, -1 ); in Mop_ManCompatiblePairs()
443 Vec_IntWriteEntry( vCounts, Entry, -1 ); in Mop_ManCompatiblePairs()
525 Vec_IntWriteEntry( vGroup, c1, -1 ); in Mop_ManMergeDist1Pairs()
561 Vec_IntWriteEntry( vGroup, c2, -1 ); in Mop_ManMergeDist1Pairs2()
574 Vec_IntWriteEntry( vGroup, c1, -1 ); in Mop_ManMergeDist1Pairs2()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmInt.h168 …ssert(Vec_IntEntry(&p->vId2Var, iObj) == -1); Vec_IntWriteEntry(&p->vId2Var, iObj, Num); Vec_IntW… in Sfm_ObjSetSatVar()
169 … assert(Vec_IntEntry(&p->vId2Var, iObj) > 0); Vec_IntWriteEntry(&p->vId2Var, iObj, -1); Vec_IntWr… in Sfm_ObjCleanSatVar()
173 static inline void Sfm_ObjSetLevel( Sfm_Ntk_t * p, int iObj, int Lev ) { Vec_IntWriteEntry( &p->vL… in Sfm_ObjSetLevel()
176 static inline void Sfm_ObjSetLevelR( Sfm_Ntk_t * p, int iObj, int Lev ) { Vec_IntWriteEntry( &p->vL… in Sfm_ObjSetLevelR()
179 static inline void Sfm_ObjResetFaninCount( Sfm_Ntk_t * p, int iObj ) { Vec_IntWriteEntry(&p->vCo… in Sfm_ObjResetFaninCount()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmci.c104 Vec_IntWriteEntry( vFFLits, i, Gia_ObjFanin0Copy(pObj) ); in Bmc_BmciUnfold()
128 Vec_IntWriteEntry( vCopies, iIdNew, iRes ); in Bmc_BmciPart_rec()
138 Vec_IntWriteEntry( vCopies, iIdNew, iRes ); in Bmc_BmciPart_rec()
253 Vec_IntWriteEntry( vSatMap, Vec_IntEntry(vPartMap, i), pCnf->pVarNums[i] ); in Bmc_BmciPerform()
282 Vec_IntWriteEntry( vLits1, i, iLit0 ); in Bmc_BmciPerform()
284 Vec_IntWriteEntry( vLits0, i, iLit1 ); in Bmc_BmciPerform()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsUtil.c96 Vec_IntWriteEntry( vGla, 0, nFrames ); in Gia_VtaConvertToGla()
154 Vec_IntWriteEntry( vGla, Gia_ObjId(p, pObj), 1 ); in Gia_FlaConvertToGla_rec()
188 Vec_IntWriteEntry( vGla, 0, 1 ); in Gia_FlaConvertToGla()
216 Vec_IntWriteEntry( vFla, i, 1 ); in Gia_GlaConvertToFla()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/
H A DcovCore.c298 Vec_IntWriteEntry( p->vComTo0, vSupp->nSize, k0 ); in Abc_NodeCovSupport()
299 Vec_IntWriteEntry( p->vComTo1, vSupp->nSize, k1 ); in Abc_NodeCovSupport()
307 Vec_IntWriteEntry( p->vComTo0, vSupp->nSize, k0 ); in Abc_NodeCovSupport()
313 Vec_IntWriteEntry( p->vComTo1, vSupp->nSize, k1 ); in Abc_NodeCovSupport()
320 Vec_IntWriteEntry( p->vComTo0, vSupp->nSize, k0 ); in Abc_NodeCovSupport()
325 Vec_IntWriteEntry( p->vComTo1, vSupp->nSize, k1 ); in Abc_NodeCovSupport()
370 if ( pObj0->fMarkA ) Vec_IntWriteEntry( p->vTriv0, 0, pObj0->Id ); in Abc_NodeCovPropagate()
371 if ( pObj1->fMarkA ) Vec_IntWriteEntry( p->vTriv1, 0, pObj1->Id ); in Abc_NodeCovPropagate()
679 if ( pObj0->fMarkA ) Vec_IntWriteEntry( p->vTriv0, 0, pObj0->Id );
680 if ( pObj1->fMarkA ) Vec_IntWriteEntry( p->vTriv1, 0, pObj1->Id );
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/
H A Dcombination.c44 Vec_IntWriteEntry( vC, j, j-1 ); in listCombination()
48 Vec_IntWriteEntry( vC, j, Vec_IntEntry( vC, j ) + 1 ); in listCombination()
89 Vec_IntWriteEntry( vC_KNUTH, j_KNUTH, j_KNUTH-1 ); in generateCombinatorialStabil()
93 Vec_IntWriteEntry( vC_KNUTH, j_KNUTH, Vec_IntEntry( vC_KNUTH, j_KNUTH ) + 1 ); in generateCombinatorialStabil()
136 Vec_IntWriteEntry( vC_KNUTH, j_KNUTH, j_KNUTH-1 ); in generateCombinatorialStabilExhaust()
140 Vec_IntWriteEntry( vC_KNUTH, j_KNUTH, Vec_IntEntry( vC_KNUTH, j_KNUTH ) + 1 ); in generateCombinatorialStabilExhaust()

12345678910>>...12