diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-08 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-08 08:01:00 -0700 |
| commit | d47752011d94805850f8713258634d1bde5e639f (patch) | |
| tree | 81236dfb564a1d5c3f4a8e2f6cd56f5b5f88313e /src/map/if | |
| parent | feb8fb692e09a2fc7c1da4f2fcf605d398e940f2 (diff) | |
| download | abc-d47752011d94805850f8713258634d1bde5e639f.tar.gz abc-d47752011d94805850f8713258634d1bde5e639f.tar.bz2 abc-d47752011d94805850f8713258634d1bde5e639f.zip | |
Version abc70608
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifUtil.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/map/if/ifUtil.c b/src/map/if/ifUtil.c index f4ffa4c1..f3fa049e 100644 --- a/src/map/if/ifUtil.c +++ b/src/map/if/ifUtil.c @@ -427,6 +427,26 @@ int If_ManCrossCut( If_Man_t * p ) return nCutSizeMax; } +/**Function************************************************************* + + Synopsis [Computes cross-cut of the circuit.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int If_ManCountTrueArea( If_Man_t * p ) +{ + If_Obj_t * pObj; + int i, Area = 0; + Vec_PtrForEachEntry( p->vMapped, pObj, i ) + Area += 1 + (If_ObjCutBest(pObj)->nLeaves > (unsigned)p->pPars->nLutSize / 2); + return Area; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |