Searched refs:iLitBest (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mvc/ |
| H A D | mvcLits.c | 228 int iLitBest; in Mvc_CoverBestLiteralCover() local
241 iLitBest = Mvc_CoverBestLiteral( pCover, pCubeS ); in Mvc_CoverBestLiteralCover()
244 Mvc_CubeBitInsert( pCubeNew, iLitBest ); in Mvc_CoverBestLiteralCover()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitSop.c | 575 int iLitBest; in Kit_SopBestLiteralCover() local
577 iLitBest = Kit_SopBestLiteral( cSop, nLits, uCube ); in Kit_SopBestLiteralCover()
582 Kit_SopPushCube( cResult, Kit_CubeSetLit(0, iLitBest) ); in Kit_SopBestLiteralCover()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitSop.c | 562 int iLitBest; in Kit_SopBestLiteralCover() local
564 iLitBest = Kit_SopBestLiteral( cSop, nLits, uCube ); in Kit_SopBestLiteralCover()
569 Kit_SopPushCube( cResult, Kit_CubeSetLit(0, iLitBest) ); in Kit_SopBestLiteralCover()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaDup.c | 3822 int i, iDriver, iLit, iLitBest = -1, LevelBest = -1; in Gia_ManDupWithConstr() local
3843 LevelBest = Gia_ObjLevelId(p, Abc_Lit2Var(iLit)), iLitBest = iLit; in Gia_ManDupWithConstr()
3844 assert( iLitBest != -1 ); in Gia_ManDupWithConstr()
3862 if ( iLit == iLitBest ) in Gia_ManDupWithConstr()
3870 Gia_ManAppendCo( pNew, Gia_ObjLitCopy(p, iLitBest) ); in Gia_ManDupWithConstr()
|