summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaUtil.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-04-19 11:20:38 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-04-19 11:20:38 -0700
commitf8a990dea92df9c97b8881378042264dd97fd64a (patch)
tree9851a1af78310242e0e8121a1da72e13ded26795 /src/aig/gia/giaUtil.c
parent1efdd3726daf36fbe5533347b710afbc958ac466 (diff)
downloadabc-f8a990dea92df9c97b8881378042264dd97fd64a.tar.gz
abc-f8a990dea92df9c97b8881378042264dd97fd64a.tar.bz2
abc-f8a990dea92df9c97b8881378042264dd97fd64a.zip
Adding print-out of average level.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
-rw-r--r--src/aig/gia/giaUtil.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index 872f4086..e16ee44f 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -510,6 +510,15 @@ int Gia_ManLevelNum( Gia_Man_t * p )
}
return p->nLevels;
}
+float Gia_ManLevelAve( Gia_Man_t * p )
+{
+ Gia_Obj_t * pObj;
+ int i, Ave = 0;
+ assert( p->vLevels );
+ Gia_ManForEachCo( p, pObj, i )
+ Ave += Gia_ObjLevel(p, pObj);
+ return (float)Ave / Gia_ManCoNum(p);
+}
/**Function*************************************************************