/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecOrder.c | 52 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 D | acecStruct.c | 64 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 D | xsatHeap.h | 98 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 D | bacPrsBuild.c | 118 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 D | llb1Man.c | 63 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 D | llb1Hint.c | 137 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 D | llb4Cluster.c | 54 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 D | giaEdge.c | 38 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 D | giaGig.c | 249 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 D | giaPack.c | 91 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 D | giaMfs.c | 121 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 D | giaFx.c | 263 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 D | giaRex.c | 131 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 D | sscInt.h | 91 …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 D | mpmInt.h | 172 … 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 D | mpmGates.c | 160 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 D | sclCon.h | 162 …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 D | abcQbf.c | 93 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 D | abcScorr.c | 81 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 D | ioReadPlaMo.c | 377 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 D | sfmInt.h | 168 …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 D | bmcBmci.c | 104 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 D | absUtil.c | 96 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 D | covCore.c | 298 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 D | combination.c | 44 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()
|