Home
last modified time | relevance | path

Searched defs:iLit (Results 1 – 25 of 121) sorted by relevance

12345

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/
H A Dint2Bmc.c222 int i, Entry, iLit; in Int2_ManCreateFrames() local
257 int iLit = Int2_ManCheckFrames( p, iFrame-1, iObjF ); in Int2_ManCreateFrames() local
271 int iLit = Int2_ManCheckFrames( p, iFrame, iObjF ); in Int2_ManCreateFrames() local
324 int i, iLit; in Int2_ManCheckBmc() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcClp.c206 int i, k, status, iLit, nRemoved = 0; in Bmc_CollapseIrredundant() local
359 int i, iLit, nLits; in Bmc_CollapseExpandRound2() local
384 int k, n, iLit, status; in Bmc_CollapseExpandRound() local
465 int i, k, iLit, status, nFinal, * pFinal; in Bmc_CollapseExpand() local
498 int i, iLit; in Bmc_CollapseExpand() local
512 int i, k, iLit, j, iNum, status, nFinal, * pFinal; in Bmc_CollapseExpand2() local
621 int i, k, iLit, status = l_Undef; in Bmc_ComputeCanonical2() local
675 int iOut = 0, iLit, iVar, status, n, Count, Start; in Bmc_CollapseOneInt2() local
877 int n, v, iVar, iLit, iCiVarBeg, iCube = 0, Start, status; in Bmc_CollapseOneOld() local
1319 int iLit = Vec_IntEntry( vLits, iVar ); in Bmc_CollapseOne_int2() local
[all …]
H A DbmcBmci.c144 int i, iLit, iLitPart; in Bmc_BmciPart() local
184 int iVar0, iVar1, iLit, iLit0, iLit1; in Bmc_BmciPerform() local
H A DbmcBmcS.c434 int iLit = 0, * pCopies = Bmcs_ManCopies( p, f ); in Bmcs_ManUnfold_rec() local
666 int iLit = Abc_Var2Lit( Vec_IntEntry(&p->vFr2Sat, iObj), 0 ); in Bmcs_ManPerformOne() local
736 int iLit; member
767 int Bmcs_ManPerform_Solve( Bmcs_Man_t * p, int iLit, pthread_t * WorkerThread, Par_ThData_t * ThDat… in Bmcs_ManPerform_Solve()
857 int iLit = Abc_Var2Lit( Vec_IntEntry(&p->vFr2Sat, iObj), 0 ); in Bmcs_ManPerformMulti() local
H A DbmcExpand.c96 int v, n, iLit, status, nCubesNew, iCiVarBeg = sat_solver_nvars(pSat) - nVars; in Abc_ObjExpandCubes() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaExist.c202 int iLit = Gia_ObjCopyArray( p, iObj ); in Gia_ManQuantDupConeSupp_rec() local
207 int iLit = Gia_ManAppendCi( pNew ); in Gia_ManQuantDupConeSupp_rec() local
230 Gia_Man_t * Gia_ManQuantDupConeSupp( Gia_Man_t * p, int iLit, int(*pFuncCiToKeep)(void *, int), voi… in Gia_ManQuantDupConeSupp() argument
291 int Gia_ManQuantExist2( Gia_Man_t * p0, int iLit, int(*pFuncCiToKeep)(void *, int), void * pData ) in Gia_ManQuantExist2() argument
412 Gia_Man_t * Gia_ManQuantExist2Dup( Gia_Man_t * p, int iLit, Vec_Int_t * vCis, Vec_Int_t * vSide, Ve… in Gia_ManQuantExist2Dup()
452 int Gia_ManQuantExistInt( Gia_Man_t * p0, int iLit, Vec_Int_t * vCis, Vec_Int_t * vSide, Vec_Int_t … in Gia_ManQuantExistInt()
505 int Gia_ManQuantExist( Gia_Man_t * p0, int iLit, int(*pFuncCiToKeep)(void *, int), void * pData ) in Gia_ManQuantExist() argument
H A Dgia.c53 static inline void Slv_ObjSetFanout0 ( Slv_Man_t * p, int iObj, int iLit ) { Vec_IntWriteEntry(&… in Slv_ObjSetFanout0()
55 static inline int Slv_ObjNextFanout ( Slv_Man_t * p, int iLit ) { return Vec_IntEntry… in Slv_ObjNextFanout()
56 static inline void Slv_ObjSetNextFanout( Slv_Man_t * p, int iLit, int iLitF ) { Vec_IntWriteEntry(&… in Slv_ObjSetNextFanout()
59 static inline void Slv_ObjSetCopyLit ( Slv_Man_t * p, int iObj, int iLit ) { Vec_IntWriteEntry(&… in Slv_ObjSetCopyLit()
H A DgiaCSat2.c319 int i, iLit; in Cbs2_ManSaveModel() local
331 int i, iLit; in Cbs2_ManSaveModelAll() local
551 int i, iLit; in Cbs2_ManCancelUntil() local
570 static inline void Cbs2_ManAssign( Cbs2_Man_t * p, int iLit, int Level, int iRes0, int iRes1 ) in Cbs2_ManAssign()
604 int i, iLit; in Cbs2_ManPrintClause() local
652 int i, iLit; in Cbs2_ManCleanWatch() local
1107 int i, k, iVar, iLit, hClause; in Cbs2_ManPropagate() local
1132 int i, iLit, iFan, hClause; in Cbs2_ManPropagate2() local
1209 int i, iVar, iLit, iJustTailOld = p->pJust.iTail; in Cbs2_ManUpdateFrontier() local
1389 int Cbs2_ManSolve( Cbs2_Man_t * p, int iLit ) in Cbs2_ManSolve()
[all …]
H A DgiaSweeper.c249 int Gia_SweeperProbeCreate( Gia_Man_t * p, int iLit ) in Gia_SweeperProbeCreate()
261 int iLit = Vec_IntEntry(pSwp->vProbes, ProbeId); in Gia_SweeperProbeDelete() local
270 int iLit = Vec_IntEntry(pSwp->vProbes, ProbeId); in Gia_SweeperProbeUpdate() local
279 int iLit = Vec_IntEntry(pSwp->vProbes, ProbeId); in Gia_SweeperProbeLit() local
299 int iLit, ProbeId; in Gia_SweeperCollectValidProbeIds() local
467 int i, iLit, ProbeId; in Gia_SweeperCleanup() local
H A DgiaClp.c154 int i, nDecs, iLit = -1; in Gia_ManRebuildNode() local
216 int i, nNodesDsd, iLit = -1; in Gia_ManRebuild() local
H A DgiaFront.c152 int i, iLit, nCrossCut = 0, nCrossCutMax = 0; in Gia_ManFront() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mvc/
H A DmvcDivisor.c75 int iLit; in Mvc_CoverDivisorZeroKernel() local
H A DmvcDivide.c327 int iLit; in Mvc_CoverDivideByLiteral() local
374 void Mvc_CoverDivideByLiteralQuo( Mvc_Cover_t * pCover, int iLit ) in Mvc_CoverDivideByLiteralQuo()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdLut.c131 int m, nIters, iLit = 0; in Sbd_ProblemPrintSolution() local
149 int m, nIters, iLit = 0; in Sbd_ProblemCollectSolution() local
211 int i, iVar, iLit, nIters; in Sbd_ProblemSolve() local
H A DsbdWin.c57 int i, iLit = 1, iObj, Fan0, Fan1, Lit0m, Lit1m, Node, fCompl0, fCompl1, RetValue; in Sbd_ManSatSolver() local
419 int status, k, iLit = Abc_Var2Lit( PivotVar, fOffSet ); in Sbd_ManCollectConstants() local
436 int n, i, k, status, iLit, iVar; in Sbd_ManCollectConstantsNew() local
/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
695 unsigned i, iLit, fCompl, nPartial = 0; in Kit_DsdTruthComputeNodeOne_rec() local
859 unsigned i, iLit, fCompl, nPartial, uSuppFan, uSuppCur; in Kit_DsdTruthComputeNodeTwo_rec() local
1147 unsigned iLit, i, Res0, Res1; in Kit_DsdCountLuts_rec() local
1350 int Kit_DsdExpandNode_rec( Kit_DsdNtk_t * pNew, Kit_DsdNtk_t * p, int iLit ) in Kit_DsdExpandNode_rec()
1736 unsigned Kit_DsdGetSupports_rec( Kit_DsdNtk_t * p, int iLit ) in Kit_DsdGetSupports_rec()
1801 unsigned iLit, i, RetValue; in Kit_DsdFindLargeBox_rec() local
[all …]
H A DkitHop.c82 int iLit; in Kit_TruthToGia() local
105 int iLit; in Kit_TruthToGia2() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmPre.c74 static inline Ifd_Obj_t * Ifd_ManObjFromLit( Ifd_Man_t * p, int iLit ) { return Ifd_ManObj( p, Abc_… in Ifd_ManObjFromLit()
76 static inline int Ifd_LitSuppSize( Ifd_Man_t * p, int iLit ) { return iLit > 0 ? Ifd_ManO… in Ifd_LitSuppSize()
77 static inline int Ifd_LitNumAnds( Ifd_Man_t * p, int iLit ) { return iLit > 0 ? Ifd_ManO… in Ifd_LitNumAnds()
154 void Ifd_ObjPrint_rec( Ifd_Man_t * p, int iLit, int * pCounter, int DiffType ) in Ifd_ObjPrint_rec()
172 void Ifd_ObjPrint( Ifd_Man_t * p, int iLit ) in Ifd_ObjPrint()
221 word Ifd_ObjTruth_rec( Ifd_Man_t * p, int iLit, int * pCounter ) in Ifd_ObjTruth_rec()
257 word Ifd_ObjTruth( Ifd_Man_t * p, int iLit ) in Ifd_ObjTruth()
428 void Ifd_ManOperSuper_rec( Ifd_Man_t * p, int iLit, int Type, Vec_Int_t * vObjs ) in Ifd_ManOperSuper_rec()
614 int iLit = Ifd_ManFindDsd( pMan, p ); in Ifd_ManDsdTest2() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecNorm.c131 int i, k, iLit, iLitNew; in Acec_BuildTree() local
162 int i, k, iLit, iLitNew; in Acec_InsertBox() local
H A DacecCl.c353 int i, k, iStart, iLit, Driver, Count = 0; in Acec_RewriteTop() local
403 int iLit = Vec_IntEntry( vRes, i ); in Acec_RewriteReplace() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/
H A DintM114p.c161 int i, k, iLit = -1, fFound = 0; in Inter_ManResolveM114p() local
214 int * pLitsNext, nLitsNext, nOffset, iLit; in Inter_ManInterpolateM114pPudlak() local
/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()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/
H A DamapRule.c191 Vec_Int_t * Amap_CreateRulesFromDsd_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * p, int iLit ) in Amap_CreateRulesFromDsd_rec()
288 void Amap_CreateCheckAsym_rec( Kit_DsdNtk_t * p, int iLit, Vec_Int_t ** pvSyms ) in Amap_CreateCheckAsym_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/
H A DcbaBlast.c228 int k, iLit = 1; in Cba_BlastReduction() local
235 int k, iLit = 0; in Cba_BlastReduction() local
242 int k, iLit = 0; in Cba_BlastReduction() local
500 int i, Entry, iLit = Cba_BlastReduction( pNew, pDiv, nDiv, CBA_BOX_ROR ); in Cba_BlastZeroCondition() local
510 int o, i, m, iLit, nMints = (1 << nFans); in Cba_BlastTable() local
607 int i, k, b, iFin, iObj, iLit, nAndPrev; in Cba_NtkBlast() local
822 int iLit = 0, nRangeMax = Abc_MaxInt( nRange0, nRange1 ); in Cba_NtkBlast() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcBlast.c126 int m, iLit; in Wlc_NtkMuxTree2() local
252 int k, iLit = 1; in Wlc_BlastReduction() local
259 int k, iLit = 0; in Wlc_BlastReduction() local
266 int k, iLit = 0; in Wlc_BlastReduction() local
702 int o, i, m, iLit, nMints = (1 << nFans); in Wlc_BlastTable() local
726 int iLit; in Wlc_BlastLut() local
833 int i, k, iLit; in Wlc_BlastPrintMatrix() local
940 void Wlc_IntInsert2( Gia_Man_t * pNew, Vec_Int_t * vProd, int iLit ) in Wlc_IntInsert2()
1698 int iLit = 0; in Wlc_NtkBitBlast() local
1709 int iLit = 0, nRangeMax = Abc_MaxInt( nRange0, nRange1 ); in Wlc_NtkBitBlast() local
[all …]

12345