Home
last modified time | relevance | path

Searched refs:nCutsTotal (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyCutTrav.c441 int i, nCutsCut, nCutsTotal, nNodeTotal, nNodeOver; in Ivy_ManTestCutsTravAll() local
450 nCutsTotal = -Ivy_ManNodeNum(p); in Ivy_ManTestCutsTravAll()
457 nCutsTotal += nCutsCut; in Ivy_ManTestCutsTravAll()
462 nCutsTotal, Ivy_ManPiNum(p) + Ivy_ManNodeNum(p), nNodeTotal, nNodeOver ); in Ivy_ManTestCutsTravAll()
H A DivyCut.c971 int i, nCutsCut, nCutsTotal, nNodeTotal, nNodeOver; in Ivy_ManTestCutsAll() local
974 nCutsTotal = -Ivy_ManNodeNum(p); in Ivy_ManTestCutsAll()
980 nCutsTotal += nCutsCut; in Ivy_ManTestCutsAll()
985 nCutsTotal, Ivy_ManPiNum(p) + Ivy_ManNodeNum(p), nNodeTotal, nNodeOver ); in Ivy_ManTestCutsAll()
H A DivySeq.c1112 int i, nCutsTotal, nCutsTotalM, nNodeTotal, nNodeOver; in Ivy_CutComputeAll() local
1120 nCutsTotal = nCutsTotalM = -Ivy_ManNodeNum(p); in Ivy_CutComputeAll()
1126 nCutsTotal += pStore->nCuts; in Ivy_CutComputeAll()
1132 nCutsTotal, nCutsTotalM, Ivy_ManPiNum(p) + Ivy_ManNodeNum(p), nNodeTotal, nNodeOver ); in Ivy_CutComputeAll()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkCore.c338 p->nCutsTotal += p->nCuts; in Lpk_ResynthesizeNode()
469 p->nCutsTotal += p->nCuts; in Lpk_ResynthesizeNodeNew()
732 … p->nNodesTotal, p->nNodesOver, p->nCutsTotal, p->nCutsUseful, p->nChanges, Iter, p->nBenefited ); in Lpk_Resynthesize()
H A DlpkInt.h111 int nCutsTotal; // total number of cuts member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifMap.c270 p->nCutsTotal++; in If_ObjPerformMappingAnd()
H A Dif.h247 int nCutsTotal; member