Searched refs:WeightBest (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxu/ |
| H A D | fxuSelect.c | 70 int WeightBest; in Fxu_Select() local
127 WeightBest = -1; in Fxu_Select()
139 if ( WeightBest < WeightCur ) in Fxu_Select()
141 WeightBest = WeightCur; in Fxu_Select()
159 if ( WeightBest < WeightCur ) in Fxu_Select()
161 WeightBest = WeightCur; in Fxu_Select()
207 return WeightBest; in Fxu_Select()
535 int WeightBest; in Fxu_SelectSCD() local
540 WeightBest = -10; in Fxu_SelectSCD()
585 WeightBest = WeightCur; in Fxu_SelectSCD()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyMulti.c | 229 int WeightBest = -1; // Suppress "might be used uninitialized" in Ivy_MultiCover() local
251 WeightBest = Ivy_MultiWeight( pEvalBest->Mask, pEvalBest->Weight, uFound ); in Ivy_MultiCover()
258 if ( WeightBest < WeightCur || in Ivy_MultiCover()
259 (WeightBest == WeightCur && LevelBest > LevelCur) ) in Ivy_MultiCover()
263 WeightBest = WeightCur; in Ivy_MultiCover()
269 if ( WeightBest == 1 && BestK >= nLeaves ) in Ivy_MultiCover()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb1Cluster.c | 74 int i, k, WeightBest = -100000, WeightCur, RetValue = -1; in Llb_ManComputeBestQuant() local
86 if ( WeightBest < WeightCur ) in Llb_ManComputeBestQuant()
88 WeightBest = WeightCur; in Llb_ManComputeBestQuant()
166 float WeightBest = -100000, WeightCur; in Llb_ManComputeBestAttr() local
176 if ( WeightBest < WeightCur ) in Llb_ManComputeBestAttr()
178 WeightBest = WeightCur; in Llb_ManComputeBestAttr()
|
| H A D | llb1Sched.c | 83 int WeightCur, WeightBest = -ABC_INFINITY, iGrp = -1, iGrpBest = -1; in Llb_MtrFindBestColumn() local
115 if ( WeightCur > 0 && WeightBest < WeightCur ) in Llb_MtrFindBestColumn()
117 WeightBest = WeightCur; in Llb_MtrFindBestColumn()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEra2.c | 857 int iVarThis, iVarBest = -1, WeightThis, WeightBest = -1; in Gia_ManAreFindBestVar() local
877 if ( WeightBest < WeightThis ) in Gia_ManAreFindBestVar()
879 WeightBest = WeightThis; in Gia_ManAreFindBestVar()
|