diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-28 16:16:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-28 16:16:34 -0700 |
| commit | c73c37a99d5db520d724c97f6397e5a5bc0bc6ca (patch) | |
| tree | f0f0cf968d721e4efd271b0d539060aa727254df /src/aig/gia/giaScl.c | |
| parent | 4e52703b8a515acea395e2221ba552286ba302d6 (diff) | |
| download | abc-c73c37a99d5db520d724c97f6397e5a5bc0bc6ca.tar.gz abc-c73c37a99d5db520d724c97f6397e5a5bc0bc6ca.tar.bz2 abc-c73c37a99d5db520d724c97f6397e5a5bc0bc6ca.zip | |
Improvements to LMS code.
Diffstat (limited to 'src/aig/gia/giaScl.c')
| -rw-r--r-- | src/aig/gia/giaScl.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/aig/gia/giaScl.c b/src/aig/gia/giaScl.c index 0aa255db..9b4c1c3e 100644 --- a/src/aig/gia/giaScl.c +++ b/src/aig/gia/giaScl.c @@ -94,6 +94,32 @@ Gia_Man_t * Gia_ManCleanup( Gia_Man_t * p ) return Gia_ManDupMarked( p ); } +/**Function************************************************************* + + Synopsis [Skip the first outputs during cleanup.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Gia_Man_t * Gia_ManCleanupOutputs( Gia_Man_t * p, int nOutputs ) +{ + Gia_Obj_t * pObj; + int i; + assert( Gia_ManRegNum(p) == 0 ); + assert( nOutputs < Gia_ManCoNum(p) ); + Gia_ManCombMarkUsed( p ); + Gia_ManForEachCo( p, pObj, i ) + if ( i < nOutputs ) + pObj->fMark0 = 1; + else + break; + return Gia_ManDupMarked( p ); +} + /**Function************************************************************* |