diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-03 21:44:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-03 21:44:00 -0700 |
commit | a01b479013e702050c2be0ccce1435fac8ed0e99 (patch) | |
tree | 60b3eef4cbe92e5f9ee269cf32b1572cba1c8c4a /src/aig/gia/giaUtil.c | |
parent | 5760c3225d892ae724e3a26a12ff376f8de7a4f6 (diff) | |
download | abc-a01b479013e702050c2be0ccce1435fac8ed0e99.tar.gz abc-a01b479013e702050c2be0ccce1435fac8ed0e99.tar.bz2 abc-a01b479013e702050c2be0ccce1435fac8ed0e99.zip |
Scalable gate-level abstraction.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
-rw-r--r-- | src/aig/gia/giaUtil.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 72fdf307..6f01e5cd 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -847,6 +847,24 @@ int Gia_NodeRef_rec( Gia_Man_t * p, Gia_Obj_t * pNode ) return Counter + 1; } + +/**Function************************************************************* + + Synopsis [References the node's MFFC.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Gia_ManPoMffcSize( Gia_Man_t * p ) +{ + Gia_ManCreateRefs( p ); + return Gia_NodeDeref_rec( p, Gia_ObjFanin0(Gia_ManPo(p, 0)) ); +} + /**Function************************************************************* Synopsis [Returns the number of internal nodes in the MFFC.] |