Searched refs:nNodeOver (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyCutTrav.c | 441 int i, nCutsCut, nCutsTotal, nNodeTotal, nNodeOver; in Ivy_ManTestCutsTravAll() local
449 nNodeTotal = nNodeOver = 0; in Ivy_ManTestCutsTravAll()
458 nNodeOver += (nCutsCut == IVY_CUT_LIMIT); in Ivy_ManTestCutsTravAll()
462 nCutsTotal, Ivy_ManPiNum(p) + Ivy_ManNodeNum(p), nNodeTotal, nNodeOver ); in Ivy_ManTestCutsTravAll()
|
| H A D | ivyCut.c | 971 int i, nCutsCut, nCutsTotal, nNodeTotal, nNodeOver; in Ivy_ManTestCutsAll() local
973 nNodeTotal = nNodeOver = 0; in Ivy_ManTestCutsAll()
981 nNodeOver += (nCutsCut == IVY_CUT_LIMIT); in Ivy_ManTestCutsAll()
985 nCutsTotal, Ivy_ManPiNum(p) + Ivy_ManNodeNum(p), nNodeTotal, nNodeOver ); in Ivy_ManTestCutsAll()
|
| H A D | ivySeq.c | 1112 int i, nCutsTotal, nCutsTotalM, nNodeTotal, nNodeOver; in Ivy_CutComputeAll() local
1119 nNodeTotal = nNodeOver = 0; in Ivy_CutComputeAll()
1128 nNodeOver += pStore->fSatur; in Ivy_CutComputeAll()
1132 nCutsTotal, nCutsTotalM, Ivy_ManPiNum(p) + Ivy_ManNodeNum(p), nNodeTotal, nNodeOver ); in Ivy_CutComputeAll()
|