Home
last modified time | relevance | path

Searched defs:uSupport (Results 1 – 8 of 8) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkSets.c58 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 DlpkAbcDsd.c110 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 DlpkMulti.c355 unsigned * ppCofs[4][8], uSupport; in Lpk_MapTreeMulti() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmTruth.c74 unsigned uSupport; in Mpm_CutTruthMinimize6() local
104 unsigned uSupport; in Mpm_CutTruthMinimize7() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperTree.c753 unsigned uSupport; in Map_LibraryGetGateSupp_rec() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcRec3.c908 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 DabcLut.c536 int i, nVars, uSupport, nSuppVars; in Abc_NodeSuperChoiceLut() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitDsd.c1268 unsigned i, uSupport = 0; in Kit_DsdNonDsdSupports() local
1739 unsigned uSupport, k; in Kit_DsdGetSupports_rec() local
1766 unsigned uSupport; in Kit_DsdGetSupports() local