diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-13 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-13 08:01:00 -0700 |
commit | 77fab468ad32d15de5c065c211f6f74371670940 (patch) | |
tree | 2a39a0480942bb597048513f72b2a23b0fcacde8 /src/aig/gia/giaDfs.c | |
parent | ccd1b57264d3bf1514410747cdcf6e4731ac7f2a (diff) | |
download | abc-77fab468ad32d15de5c065c211f6f74371670940.tar.gz abc-77fab468ad32d15de5c065c211f6f74371670940.tar.bz2 abc-77fab468ad32d15de5c065c211f6f74371670940.zip |
Version abc90413
Diffstat (limited to 'src/aig/gia/giaDfs.c')
-rw-r--r-- | src/aig/gia/giaDfs.c | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/src/aig/gia/giaDfs.c b/src/aig/gia/giaDfs.c index a978dcc3..8a3aef92 100644 --- a/src/aig/gia/giaDfs.c +++ b/src/aig/gia/giaDfs.c @@ -122,7 +122,7 @@ void Gia_ManCollectAnds( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vN Gia_Obj_t * pObj; int i; Vec_IntClear( vNodes ); - Gia_ManIncrementTravId( p ); +// Gia_ManIncrementTravId( p ); Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); for ( i = 0; i < nNodes; i++ ) { @@ -145,6 +145,34 @@ void Gia_ManCollectAnds( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vN SeeAlso [] ***********************************************************************/ +void Gia_ManCollectTest( Gia_Man_t * p ) +{ + Vec_Int_t * vNodes; + Gia_Obj_t * pObj; + int i, iNode, clk = clock(); + vNodes = Vec_IntAlloc( 100 ); + Gia_ManResetTravId( p ); + Gia_ManIncrementTravId( p ); + Gia_ManForEachCo( p, pObj, i ) + { + iNode = Gia_ObjId(p, pObj); + Gia_ManCollectAnds( p, &iNode, 1, vNodes ); + } + Vec_IntFree( vNodes ); + ABC_PRT( "DFS from each output", clock() - clk ); +} + +/**Function************************************************************* + + Synopsis [Collects support nodes.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ int Gia_ManSuppSize_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) { if ( Gia_ObjIsTravIdCurrent(p, pObj) ) |