Searched refs:nSuppSizeCur (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkMux.c | 47 int i, iBestVar, nSuppSizeCur0, nSuppSizeCur1, nSuppSizeCur, nSuppSizeMin; in Lpk_MapTreeBestCofVar() local
58 nSuppSizeCur = nSuppSizeCur0 + nSuppSizeCur1; in Lpk_MapTreeBestCofVar()
63 if ( nSuppSizeMin > nSuppSizeCur ) in Lpk_MapTreeBestCofVar()
65 nSuppSizeMin = nSuppSizeCur; in Lpk_MapTreeBestCofVar()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClass.c | 709 int i, c, cMinSupp, nSuppSizeMin, nSuppSizeCur; in Fra_ClassesSelectRepr() local
719 nSuppSizeCur = Aig_SupportSize( p->pAig, pClass[c] ); in Fra_ClassesSelectRepr()
721 if ( nSuppSizeMin > nSuppSizeCur || in Fra_ClassesSelectRepr()
722 (nSuppSizeMin == nSuppSizeCur && pNodeMin->Level > pClass[c]->Level) ) in Fra_ClassesSelectRepr()
724 nSuppSizeMin = nSuppSizeCur; in Fra_ClassesSelectRepr()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitTruth.c | 1148 int i, iBestVar, nSuppSizeCur0, nSuppSizeCur1, nSuppSizeCur, nSuppSizeMin; in Kit_TruthBestCofVar() local
1161 nSuppSizeCur = nSuppSizeCur0 + nSuppSizeCur1; in Kit_TruthBestCofVar()
1163 if ( nSuppSizeMin > nSuppSizeCur ) in Kit_TruthBestCofVar()
1165 nSuppSizeMin = nSuppSizeCur; in Kit_TruthBestCofVar()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitTruth.c | 1367 int i, iBestVar, nSuppSizeCur0, nSuppSizeCur1, nSuppSizeCur, nSuppSizeMin; in Kit_TruthBestCofVar() local
1380 nSuppSizeCur = nSuppSizeCur0 + nSuppSizeCur1; in Kit_TruthBestCofVar()
1382 if ( nSuppSizeMin > nSuppSizeCur ) in Kit_TruthBestCofVar()
1384 nSuppSizeMin = nSuppSizeCur; in Kit_TruthBestCofVar()
|