Home
last modified time | relevance | path

Searched refs:iLit (Results 1 – 25 of 129) sorted by relevance

123456

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcClp.c359 int i, iLit, nLits; in Bmc_CollapseExpandRound2() local
362 if ( iLit != -1 ) in Bmc_CollapseExpandRound2()
376 if ( iLit != -1 && Vec_IntFind(vTemp, iLit) == -1 ) in Bmc_CollapseExpandRound2()
384 int k, n, iLit, status; in Bmc_CollapseExpandRound() local
498 int i, iLit; in Bmc_CollapseExpand() local
702 status = sat_solver_addclause( pSat[n], &iLit, &iLit + 1 ); in Bmc_CollapseOneInt2()
894 status = sat_solver_solve( pSat[n], &iLit, &iLit + 1, nBTLimit, 0, 0, 0 ); in Bmc_CollapseOneOld()
909 status = sat_solver_addclause( pSat[n], &iLit, &iLit + 1 ); in Bmc_CollapseOneOld()
911 status = sat_solver_addclause( pSatClean[n], &iLit, &iLit + 1 ); in Bmc_CollapseOneOld()
1084 status = sat_solver_addclause( pSat[n], &iLit, &iLit + 1 ); in Bmc_CollapseOne_int3()
[all …]
H A DbmcBmci.c144 int i, iLit, iLitPart; in Bmc_BmciPart() local
151 Vec_IntForEachEntry( vMiters, iLit, i ) in Bmc_BmciPart()
153 if ( iLit == -1 ) in Bmc_BmciPart()
155 assert( iLit >= 2 ); in Bmc_BmciPart()
184 int iVar0, iVar1, iLit, iLit0, iLit1; in Bmc_BmciPerform() local
199 Vec_IntForEachEntry( vInit0, iLit, i ) in Bmc_BmciPerform()
200 Vec_IntPush( vLits0, iLit < 2 ? iLit : Gia_ManAppendCi(pNew) ); in Bmc_BmciPerform()
203 Vec_IntForEachEntry( vInit1, iLit, i ) in Bmc_BmciPerform()
204 Vec_IntPush( vLits1, iLit < 2 ? iLit : Gia_ManAppendCi(pNew) ); in Bmc_BmciPerform()
261 if ( iLit == -1 ) in Bmc_BmciPerform()
[all …]
H A DbmcExpand.c96 int v, n, iLit, status, nCubesNew, iCiVarBeg = sat_solver_nvars(pSat) - nVars; in Abc_ObjExpandCubes() local
102 iLit = Abc_Var2Lit( iOutVar, n ); // n=0 => F=1 n=1 => F=0 in Abc_ObjExpandCubes()
103 status = sat_solver_solve( pSat, &iLit, &iLit + 1, 0, 0, 0, 0 ); in Abc_ObjExpandCubes()
114 iLit = Abc_Var2Lit( iOutVar, 1 ); in Abc_ObjExpandCubes()
115 status = sat_solver_addclause( pSat, &iLit, &iLit + 1 ); in Abc_ObjExpandCubes()
H A DbmcBmcG.c130 int iLit = 0, * pCopies = Bmcg_ManCopies( p, f ); in Bmcg_ManUnfold_rec() local
139 iLit = Gia_ManAppendCi( p->pFrames ); in Bmcg_ManUnfold_rec()
144 iLit = Bmcg_ManUnfold_rec( p, Gia_ObjFaninId0p(p->pGia, pObj), f-1 ); in Bmcg_ManUnfold_rec()
145 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcg_ManUnfold_rec()
150 iLit = Bmcg_ManUnfold_rec( p, Gia_ObjFaninId0(pObj, iObj), f ); in Bmcg_ManUnfold_rec()
151 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcg_ManUnfold_rec()
152 if ( iLit > 0 ) in Bmcg_ManUnfold_rec()
157 iLit = Gia_ManHashAnd( p->pFrames, iLit, iNew ); in Bmcg_ManUnfold_rec()
161 return (pCopies[iObj] = iLit); in Bmcg_ManUnfold_rec()
385 int iLit = Abc_Var2Lit( Vec_IntEntry(&p->vFr2Sat, iObj), 0 ); in Bmcg_ManPerformOne() local
[all …]
H A DbmcBmcS.c434 int iLit = 0, * pCopies = Bmcs_ManCopies( p, f ); in Bmcs_ManUnfold_rec() local
443 iLit = Gia_ManAppendCi( p->pFrames ); in Bmcs_ManUnfold_rec()
449 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcs_ManUnfold_rec()
455 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcs_ManUnfold_rec()
456 if ( iLit > 0 ) in Bmcs_ManUnfold_rec()
461 iLit = Gia_ManHashAnd( p->pFrames, iLit, iNew ); in Bmcs_ManUnfold_rec()
465 return (pCopies[iObj] = iLit); in Bmcs_ManUnfold_rec()
736 int iLit; member
773 ThData[i].iLit = iLit; in Bmcs_ManPerform_Solve()
804 ThData[i].iLit = -1; in Bmcs_ManPerform_Solve()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaClp.c154 int i, nDecs, iLit = -1; in Gia_ManRebuildNode() local
165 iLit = Abc_LitNotCond( iLit, Dsd_IsComplement(pFaninDsd) ); in Gia_ManRebuildNode()
175 iLit = 1; in Gia_ManRebuildNode()
180 iLit = 0; in Gia_ManRebuildNode()
182 iLit = Gia_ManHashOr( pNew, iLit, Vec_IntEntry(vFanins, i) ); in Gia_ManRebuildNode()
187 iLit = 0; in Gia_ManRebuildNode()
189 iLit = Gia_ManHashXor( pNew, iLit, Vec_IntEntry(vFanins, i) ); in Gia_ManRebuildNode()
209 return iLit; in Gia_ManRebuildNode()
242 if ( iLit == -1 ) in Gia_ManRebuild()
249 if ( iLit == -1 ) in Gia_ManRebuild()
[all …]
H A DgiaExist.c202 int iLit = Gia_ObjCopyArray( p, iObj ); in Gia_ManQuantDupConeSupp_rec() local
203 if ( iLit >= 0 ) in Gia_ManQuantDupConeSupp_rec()
207 int iLit = Gia_ManAppendCi( pNew ); in Gia_ManQuantDupConeSupp_rec() local
215 Gia_ObjSetCopyArray( p, iObj, iLit ); in Gia_ManQuantDupConeSupp_rec()
226 iLit = Gia_ManHashAnd( pNew, iLit0, iLit1 ); in Gia_ManQuantDupConeSupp_rec()
227 Gia_ObjSetCopyArray( p, iObj, iLit ); in Gia_ManQuantDupConeSupp_rec()
298 if ( iLit < 2 ) return iLit; in Gia_ManQuantExist2()
306 return iLit; in Gia_ManQuantExist2()
456 if ( iLit < 2 ) in Gia_ManQuantExistInt()
459 return iLit; in Gia_ManQuantExistInt()
[all …]
H A DgiaSweeper.c253 assert( iLit >= 0 ); in Gia_SweeperProbeCreate()
262 assert( iLit >= 0 ); in Gia_SweeperProbeDelete()
264 return iLit; in Gia_SweeperProbeDelete()
271 assert( iLit >= 0 ); in Gia_SweeperProbeUpdate()
273 return iLit; in Gia_SweeperProbeUpdate()
280 assert( iLit >= 0 ); in Gia_SweeperProbeLit()
281 return iLit; in Gia_SweeperProbeLit()
299 int iLit, ProbeId; in Gia_SweeperCollectValidProbeIds() local
467 int i, iLit, ProbeId; in Gia_SweeperCleanup() local
522 iLit = Abc_LitNot(iLit); in Gia_SweeperCleanup()
[all …]
H A DgiaSim.c948 int i, k, iLit; in Gia_ManBuiltInSimPack() local
953 Vec_IntForEachEntry( vPat, iLit, k ) in Gia_ManBuiltInSimPack()
955 … Abc_TtGetBit(Gia_ManBuiltInData(p, 1+Abc_Lit2Var(iLit)), i) == Abc_LitIsCompl(iLit) ) in Gia_ManBuiltInSimPack()
1037 Vec_IntForEachEntry( vPat, iLit, k ) in Gia_ManBuiltInSimAddPat()
1039 … if ( Abc_TtGetBit(Gia_ManBuiltInData(p, 1+Abc_Lit2Var(iLit)), iPat) == Abc_LitIsCompl(iLit) ) in Gia_ManBuiltInSimAddPat()
1046 Vec_IntForEachEntry( vPat, iLit, k ) in Gia_ManBuiltInSimAddPat()
1049 … assert( Abc_TtGetBit(Gia_ManBuiltInData(p, 1+Abc_Lit2Var(iLit)), iPat) != Abc_LitIsCompl(iLit) ); in Gia_ManBuiltInSimAddPat()
1052 … if ( Abc_TtGetBit(Gia_ManBuiltInData(p, 1+Abc_Lit2Var(iLit)), iPat) == Abc_LitIsCompl(iLit) ) in Gia_ManBuiltInSimAddPat()
1074 int iObj = Abc_Lit2Var(iLit); in Gia_ManObjCheckSat_rec()
1079 pObj->fMark1 = Abc_LitIsCompl(iLit); in Gia_ManObjCheckSat_rec()
[all …]
H A Dgia.c53 …lv_ObjSetFanout0 ( Slv_Man_t * p, int iObj, int iLit ) { Vec_IntWriteEntry(&p->vFanout0, iObj, … in Slv_ObjSetFanout0() argument
55 … int Slv_ObjNextFanout ( Slv_Man_t * p, int iLit ) { return Vec_IntEntry(&p->vFanout… in Slv_ObjNextFanout() argument
56 …e void Slv_ObjSetNextFanout( Slv_Man_t * p, int iLit, int iLitF ) { Vec_IntWriteEntry(&p->vFanoutN… in Slv_ObjSetNextFanout() argument
59 …Slv_ObjSetCopyLit ( Slv_Man_t * p, int iObj, int iLit ) { Vec_IntWriteEntry(&p->vCopies, iObj, … in Slv_ObjSetCopyLit() argument
H A DgiaCSat2.c319 int i, iLit; in Cbs2_ManSaveModel() local
324 int iVar = Abc_Lit2Var(iLit); in Cbs2_ManSaveModel()
331 int i, iLit; in Cbs2_ManSaveModelAll() local
551 int i, iLit; in Cbs2_ManCancelUntil() local
572 int iObj = Abc_Lit2Var(iLit); in Cbs2_ManAssign()
577 Cbs2_QuePush( &p->pProp, iLit ); in Cbs2_ManAssign()
604 int i, iLit; in Cbs2_ManPrintClause() local
608 printf( "%c%d ", Abc_LitIsCompl(iLit) ? '-':'+', Abc_Lit2Var(iLit) ); in Cbs2_ManPrintClause()
652 int i, iLit; in Cbs2_ManCleanWatch() local
1132 int i, iLit, iFan, hClause; in Cbs2_ManPropagate2() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/
H A Dint2Bmc.c222 int i, Entry, iLit; in Int2_ManCreateFrames() local
230 iLit = 1; in Int2_ManCreateFrames()
232 sat_solver_addclause( p->pGiaPref, &iLit, &iLit + 1 ); in Int2_ManCreateFrames()
258 if ( iLit >= 0 ) in Int2_ManCreateFrames()
259 Int2_ManWriteFrames( p, iFrame, iObj, iLit ); in Int2_ManCreateFrames()
272 if ( iLit >= 0 ) in Int2_ManCreateFrames()
295 assert( !Abc_LitIsCompl(iLit) ); in Int2_ManCreateFrames()
324 int i, iLit; in Int2_ManCheckBmc() local
328 if ( iLit == 0 ) in Int2_ManCheckBmc()
330 if ( iLit == 1 ) in Int2_ManCheckBmc()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitDsd.c241 unsigned iLit, i; in Kit_DsdPrint2_rec() local
321 unsigned iLit, i; in Kit_DsdPrint_rec() local
398 unsigned iLit, i; in Kit_DsdWrite_rec() local
565 unsigned i, iLit, fCompl; in Kit_DsdTruthComputeNode_rec() local
591 iLit = pObj->pFans[0]; in Kit_DsdTruthComputeNode_rec()
722 iLit = pObj->pFans[0]; in Kit_DsdTruthComputeNodeOne_rec()
1298 if ( Abc_LitIsCompl(iLit) || Abc_Lit2Var(iLit) < p->nVars || pObj->Type != KIT_DSD_AND ) in Kit_DsdExpandCollectAnd_rec()
1335 if ( Abc_LitIsCompl(iLit) ) in Kit_DsdExpandCollectXor_rec()
1359 return iLit; in Kit_DsdExpandNode_rec()
1426 iLit = Abc_LitNot(iLit); in Kit_DsdExpandNode_rec()
[all …]
H A DkitHop.c82 int iLit; in Kit_TruthToGia() local
99 iLit = Kit_GraphToGia( pMan, pGraph, vLeaves, fHash ); in Kit_TruthToGia()
101 return iLit; in Kit_TruthToGia()
105 int iLit; in Kit_TruthToGia2() local
123 iLit = Kit_GraphToGia( pMan, pGraph, vLeaves, fHash ); in Kit_TruthToGia2()
125 return iLit; in Kit_TruthToGia2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdLut.c131 int m, nIters, iLit = 0; in Sbd_ProblemPrintSolution() local
137 for ( m = 0; m < nIters; m++, iLit++ ) in Sbd_ProblemPrintSolution()
144 assert( iLit == Vec_IntSize(vLits) ); in Sbd_ProblemPrintSolution()
149 int m, nIters, iLit = 0; in Sbd_ProblemCollectSolution() local
156 for ( m = 0; m < nIters; m++, iLit++ ) in Sbd_ProblemCollectSolution()
157 if ( !Abc_LitIsCompl(Vec_IntEntry(vLits, iLit)) ) in Sbd_ProblemCollectSolution()
164 for ( m = 0; m < pStr->nVarIns; m++, iLit++ ) in Sbd_ProblemCollectSolution()
173 assert( iLit == Vec_IntSize(vLits) ); in Sbd_ProblemCollectSolution()
211 int i, iVar, iLit, nIters; in Sbd_ProblemSolve() local
266 status = sat_solver_addclause( pSatQbf, &iLit, &iLit + 1 ); in Sbd_ProblemSolve()
[all …]
H A DsbdSat.c146 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad1() local
158 if ( Abc_Lit2Var(iLit) == ThisTopVar ) in Sbd_ProblemLoad1()
160 else if ( Abc_Lit2Var(iLit) >= FirstDivVar ) in Sbd_ProblemLoad1()
161 … pLits[nLits++] = Abc_Var2Lit( pDivVars[Abc_Lit2Var(iLit)-FirstDivVar], Abc_LitIsCompl(iLit) ); in Sbd_ProblemLoad1()
163 pLits[nLits++] = iLit + 2 * iStartVar; in Sbd_ProblemLoad1()
174 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad2() local
182 Vec_IntForEachEntry( vLevel, iLit, k ) { in Sbd_ProblemLoad2()
183 if ( Abc_Lit2Var(iLit) == ThisTopVar ) in Sbd_ProblemLoad2()
191 if ( Abc_LitIsCompl(iLit) == pDivVarValues[Abc_Lit2Var(iLit)-FirstDivVar] ) in Sbd_ProblemLoad2()
196 pLits[nLits++] = iLit + 2 * iStartVar; in Sbd_ProblemLoad2()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkMap.c110 If_Obj_t * Lpk_MapTree_rec( Lpk_Man_t * p, Kit_DsdNtk_t * pNtk, If_Obj_t ** ppLeaves, int iLit, If_… in Lpk_MapTree_rec() argument
116 assert( iLit >= 0 ); in Lpk_MapTree_rec()
119 pObj = Kit_DsdNtkObj( pNtk, Abc_Lit2Var(iLit) ); in Lpk_MapTree_rec()
122 pObjNew = ppLeaves[Abc_Lit2Var(iLit)]; in Lpk_MapTree_rec()
123 return If_NotCond( pObjNew, Abc_LitIsCompl(iLit) ); in Lpk_MapTree_rec()
127 return If_NotCond( If_ManConst1(p->pIfMan), Abc_LitIsCompl(iLit) ); in Lpk_MapTree_rec()
132 return If_NotCond( pObjNew, Abc_LitIsCompl(iLit) ^ Abc_LitIsCompl(pObj->pFans[0]) ); in Lpk_MapTree_rec()
142 return If_NotCond( pObjNew, Abc_LitIsCompl(iLit) ); in Lpk_MapTree_rec()
146 int fCompl = Abc_LitIsCompl(iLit); in Lpk_MapTree_rec()
190 return If_NotCond( pObjNew2, Abc_LitIsCompl(iLit) ); in Lpk_MapTree_rec()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mvc/
H A DmvcPrint.c198 int iLit, iVar;
202 for ( iLit = 0; iLit < pData->pVm->nValuesIn; iLit++ )
204 if ( iLit == pData->pVm->pValuesFirst[iVar+1] )
209 if ( Mvc_CubeBitValue( pCube, iLit ) )
210 printf( "%c", '0' + iLit - pData->pVm->pValuesFirst[iVar] );
H A DmvcDivisor.c75 int iLit; in Mvc_CoverDivisorZeroKernel() local
78 iLit = Mvc_CoverWorstLiteral( pCover, NULL ); in Mvc_CoverDivisorZeroKernel()
80 if ( iLit == -1 ) in Mvc_CoverDivisorZeroKernel()
83 Mvc_CoverDivideByLiteralQuo( pCover, iLit ); // the same cover in Mvc_CoverDivisorZeroKernel()
H A DmvcDivide.c327 int iLit; in Mvc_CoverDivideByLiteral() local
337 iLit = Mvc_CoverFirstCubeFirstLit( pDiv ); in Mvc_CoverDivideByLiteral()
345 if ( Mvc_CubeBitValue( pCubeCopy, iLit ) ) in Mvc_CoverDivideByLiteral()
347 Mvc_CubeBitRemove( pCubeCopy, iLit ); in Mvc_CoverDivideByLiteral()
374 void Mvc_CoverDivideByLiteralQuo( Mvc_Cover_t * pCover, int iLit ) in Mvc_CoverDivideByLiteralQuo() argument
382 if ( Mvc_CubeBitValue( pCube, iLit ) == 0 ) in Mvc_CoverDivideByLiteralQuo()
390 Mvc_CubeBitRemove( pCube, iLit ); in Mvc_CoverDivideByLiteralQuo()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecNorm.c131 int i, k, iLit, iLitNew; in Acec_BuildTree() local
134 Vec_IntForEachEntry( vRootLits, iLit, i ) in Acec_BuildTree()
140 Vec_IntPush( vLevel, iLit ); in Acec_BuildTree()
144 Vec_IntForEachEntry( vLevel, iLit, k ) in Acec_BuildTree()
146 Gia_Obj_t * pObj = Gia_ManObj( p, Abc_Lit2Var(iLit) ); in Acec_BuildTree()
148 iLitNew = Abc_LitNotCond( iLitNew, Abc_LitIsCompl(iLit) ); in Acec_BuildTree()
162 int i, k, iLit, iLitNew; in Acec_InsertBox() local
183 Vec_IntForEachEntry( vLevel, iLit, k ) in Acec_InsertBox()
185 pObj = Gia_ManObj( p, Abc_Lit2Var(iLit) ); in Acec_InsertBox()
187 pObj->Value = Abc_LitNotCond( iLitNew, Abc_LitIsCompl(iLit) ); in Acec_InsertBox()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmPre.c76 … int Ifd_LitSuppSize( Ifd_Man_t * p, int iLit ) { return iLit > 0 ? Ifd_ManObjFromLit(p,… in Ifd_LitSuppSize() argument
77 …e int Ifd_LitNumAnds( Ifd_Man_t * p, int iLit ) { return iLit > 0 ? Ifd_ManObjFromLit(p… in Ifd_LitNumAnds() argument
158 if ( Abc_LitIsCompl(iLit) ) in Ifd_ObjPrint_rec()
159 printf( "!" ), iLit = Abc_LitNot(iLit); in Ifd_ObjPrint_rec()
160 if ( iLit == 2 ) in Ifd_ObjPrint_rec()
175 if ( iLit == 0 ) in Ifd_ObjPrint()
177 if ( iLit == 1 ) in Ifd_ObjPrint()
234 if ( iLit == 2 ) in Ifd_ObjTruth_rec()
261 if ( iLit == 0 ) in Ifd_ObjTruth()
263 if ( iLit == 1 ) in Ifd_ObjTruth()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatSolver2i.c134 int Int2_ManChainResolve( Int2_Man_t * p, clause * c, int iLit, int varA ) in Int2_ManChainResolve() argument
137 assert( iLit >= 0 ); in Int2_ManChainResolve()
139 iLit = Gia_ManHashOr( p->pGia, iLit, iLit2 ); in Int2_ManChainResolve()
141 iLit = Gia_ManHashAnd( p->pGia, iLit, iLit2 ); in Int2_ManChainResolve()
142 return iLit; in Int2_ManChainResolve()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcExtract.c603 int i, j, k, ObjId, iLit; in Abc_NtkUpdateNetwork() local
610 iLit = Vec_IntEntry( p->vObj2Lit, i ); in Abc_NtkUpdateNetwork()
611 assert( !fAnd || !Abc_LitIsCompl(iLit) ); in Abc_NtkUpdateNetwork()
613 pObj = Abc_NtkObj( p->pNtk, Abc_Lit2Var(iLit) ); in Abc_NtkUpdateNetwork()
636 iLit = Vec_IntEntry( vInput, 0 ); in Abc_NtkUpdateNetwork()
667 if ( iLit >= 0 ) in Abc_NtkUpdateNetwork()
669 if ( iLit == iLitConst1 && fAnd ) in Abc_NtkUpdateNetwork()
676 pObj->fCompl0 ^= Abc_LitIsCompl(iLit); in Abc_NtkUpdateNetwork()
684 if ( iLit >= 0 ) in Abc_NtkUpdateNetwork()
686 if ( iLit == iLitConst1 && fAnd ) in Abc_NtkUpdateNetwork()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c614 … if ( (iLit = Acb_ObjCopy(p, iObj)) >= 0 && Gia_ObjIsAnd(Gia_ManObj(pGia, Abc_Lit2Var(iLit))) ) in Acb_NtkCollectCopies()
616 …if ( !Vec_BitEntry(vDriver, Abc_Lit2Var(iLit)) && Vec_PtrEntry(vNodesR, Abc_Lit2Var(iLit)) == NULL… in Acb_NtkCollectCopies()
619 Vec_IntPush( vNodes, Abc_Lit2Var(iLit) ); in Acb_NtkCollectCopies()
620 Vec_BitWriteEntry( vPolar, Abc_Lit2Var(iLit), Abc_LitIsCompl(iLit) ); in Acb_NtkCollectCopies()
642 assert( iLit > 0 ); in Acb_NtkCollectUser()
644 Vec_IntPush( vRes, Abc_Lit2Var(iLit) ); in Acb_NtkCollectUser()
700 int i, iObj, iLit; in Abc_NtkCollectCopies() local
716 if ( (iLit = pObj->iTemp) >= 0 && Gia_ObjIsAnd(Gia_ManObj(pGia, Abc_Lit2Var(iLit))) ) in Abc_NtkCollectCopies()
718 …if ( !Vec_BitEntry(vDriver, Abc_Lit2Var(iLit)) && Vec_PtrEntry(vNodesR, Abc_Lit2Var(iLit)) == NULL… in Abc_NtkCollectCopies()
721 Vec_IntPush( vNodes, Abc_Lit2Var(iLit) ); in Abc_NtkCollectCopies()
[all …]

123456