/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/ |
H A D | int2Bmc.c | 222 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 D | bmcClp.c | 206 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 D | bmcBmci.c | 144 int i, iLit, iLitPart; in Bmc_BmciPart() local 184 int iVar0, iVar1, iLit, iLit0, iLit1; in Bmc_BmciPerform() local
|
H A D | bmcBmcS.c | 434 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 D | bmcExpand.c | 96 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 D | giaExist.c | 202 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 D | gia.c | 53 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 D | giaCSat2.c | 319 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 D | giaSweeper.c | 249 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 D | giaClp.c | 154 int i, nDecs, iLit = -1; in Gia_ManRebuildNode() local 216 int i, nNodesDsd, iLit = -1; in Gia_ManRebuild() local
|
H A D | giaFront.c | 152 int i, iLit, nCrossCut = 0, nCrossCutMax = 0; in Gia_ManFront() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mvc/ |
H A D | mvcDivisor.c | 75 int iLit; in Mvc_CoverDivisorZeroKernel() local
|
H A D | mvcDivide.c | 327 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 D | sbdLut.c | 131 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 D | sbdWin.c | 57 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 D | kitDsd.c | 241 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 D | kitHop.c | 82 int iLit; in Kit_TruthToGia() local 105 int iLit; in Kit_TruthToGia2() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmPre.c | 74 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 D | acecNorm.c | 131 int i, k, iLit, iLitNew; in Acec_BuildTree() local 162 int i, k, iLit, iLitNew; in Acec_InsertBox() local
|
H A D | acecCl.c | 353 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 D | intM114p.c | 161 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 D | lpkMap.c | 110 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 D | amapRule.c | 191 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 D | cbaBlast.c | 228 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 D | wlcBlast.c | 126 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 …]
|