From 9c409addca12e478cff38cb60a37a7ce03b34e61 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 14 Jan 2012 18:04:47 -0800 Subject: Support computation experiments with different network data-structures. --- src/aig/gia/giaDfs.c | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) (limited to 'src/aig/gia') diff --git a/src/aig/gia/giaDfs.c b/src/aig/gia/giaDfs.c index 3b591aee..1ec18767 100644 --- a/src/aig/gia/giaDfs.c +++ b/src/aig/gia/giaDfs.c @@ -244,6 +244,46 @@ int Gia_ManSuppSize_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) Gia_ManSuppSize_rec( p, Gia_ObjFanin1(pObj) ); } +/**Function************************************************************* + + Synopsis [Computes support size of the node.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Gia_ManSuppSizeOne( Gia_Man_t * p, Gia_Obj_t * pObj ) +{ + Gia_ManIncrementTravId( p ); + return Gia_ManSuppSize_rec( p, pObj ); +} + +/**Function************************************************************* + + Synopsis [Computes support size of the node.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Gia_ManSuppSizeTest( Gia_Man_t * p ) +{ + Gia_Obj_t * pObj; + int i, Counter = 0, clk = clock(); + Gia_ManForEachObj( p, pObj, i ) + if ( Gia_ObjIsAnd(pObj) ) + Counter += (Gia_ManSuppSizeOne(p, pObj) <= 16); + printf( "Nodes with small support %d (out of %d)\n", Counter, Gia_ManAndNum(p) ); + Abc_PrintTime( 1, "Time", clock() - clk ); + return Counter; +} + /**Function************************************************************* Synopsis [Collects support nodes.] -- cgit v1.2.3