Searched defs:uSupport (Results 1 – 8 of 8) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkSets.c | 58 unsigned i, iLitFanin, uSupport, uSuppCur; in Lpk_ComputeSets_rec() local 110 unsigned uSupport, Entry; in Lpk_ComputeSets() local 146 static void Lpk_PrintSetOne( int uSupport ) in Lpk_PrintSetOne() 167 unsigned uSupport; in Lpk_PrintSets() local
|
H A D | lpkAbcDsd.c | 110 unsigned i, iLitFanin, uSupport, uSuppCur; in Lpk_ComputeBoundSets_rec() local 165 unsigned uSupport, Entry; in Lpk_ComputeBoundSets() local 204 static void Lpk_PrintSetOne( int uSupport ) in Lpk_PrintSetOne() 225 unsigned uSupport; in Lpk_PrintSets() local
|
H A D | lpkMulti.c | 355 unsigned * ppCofs[4][8], uSupport; in Lpk_MapTreeMulti() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmTruth.c | 74 unsigned uSupport; in Mpm_CutTruthMinimize6() local 104 unsigned uSupport; in Mpm_CutTruthMinimize7() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
H A D | mapperTree.c | 753 unsigned uSupport; in Map_LibraryGetGateSupp_rec() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcRec3.c | 908 int uSupport, nLeaves = If_CutLeaveNum( pCut ); in If_CutFindBestStruct() local 1039 int i, uSupport, BestPo = -1, nLeaves = If_CutLeaveNum(pCut); in Abc_RecToHop3() local 1113 int i, uSupport, BestPo = -1, nLeaves = If_CutLeaveNum(pCut); in Abc_RecToGia3() local
|
H A D | abcLut.c | 536 int i, nVars, uSupport, nSuppVars; in Abc_NodeSuperChoiceLut() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
H A D | kitDsd.c | 1268 unsigned i, uSupport = 0; in Kit_DsdNonDsdSupports() local 1739 unsigned uSupport, k; in Kit_DsdGetSupports_rec() local 1766 unsigned uSupport; in Kit_DsdGetSupports() local
|