Searched defs:nCutsR (Results 1 – 9 of 9) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCut.c | 63 int nCutsR; // the number of cuts member
494 int i, k, nCutsR = 0; in Gia_StoMergeCuts() local
|
| H A D | giaBalLut.c | 410 int i, Cost, nCutsR = 0; in Bal_ManDeriveCuts() local
|
| H A D | giaLf.c | 913 static inline void Lf_SetSortBySize( Lf_Cut_t ** pCutsR, int nCutsR ) in Lf_SetSortBySize()
1203 int i, k, n, iCutUsed, nCutsR = 0; in Lf_ObjMergeOrder() local
|
| H A D | giaPf.c | 790 int i, nCutsUse, nCutsR = 0; in Pf_ObjMergeOrder() local
|
| H A D | giaMf.c | 1036 int i, nCutsR = 0; in Mf_ObjMergeOrder() local
|
| H A D | giaOf.c | 697 int i, nCutsR = 0; in Of_ObjMergeOrder() local
|
| H A D | giaNf.c | 869 int i, nCutsUse, nCutsR = 0; in Nf_ObjMergeOrder() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdCut.c | 66 int nCutsR; // the number of cuts member
608 int i, k, nCutsR = 0; in Sbd_StoMergeCuts() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acec2Mult.c | 307 int nCutsR; // the number of cuts member
738 int i, k, nCutsR = 0; in Sdb_StoMergeCuts() local
|