diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-17 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-17 08:01:00 -0800 |
commit | 28d4f8696dd2cf60f71fca5d83e5f038678f4828 (patch) | |
tree | bc202cc439db71cded25cf3a2b082791c4fada7a /src/aig/gia/giaUtil.c | |
parent | 0871bffae307e0553e0c5186336189e8b55cf6a6 (diff) | |
download | abc-28d4f8696dd2cf60f71fca5d83e5f038678f4828.tar.gz abc-28d4f8696dd2cf60f71fca5d83e5f038678f4828.tar.bz2 abc-28d4f8696dd2cf60f71fca5d83e5f038678f4828.zip |
Version abc90217
Diffstat (limited to 'src/aig/gia/giaUtil.c')
-rw-r--r-- | src/aig/gia/giaUtil.c | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index ef433159..64f191f1 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -77,6 +77,25 @@ void Gia_ManCleanMark0( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ +void Gia_ManCheckMark0( Gia_Man_t * p ) +{ + Gia_Obj_t * pObj; + int i; + Gia_ManForEachObj( p, pObj, i ) + assert( pObj->fMark0 == 0 ); +} + +/**Function************************************************************* + + Synopsis [Sets phases of the internal nodes.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ void Gia_ManSetMark1( Gia_Man_t * p ) { Gia_Obj_t * pObj; @@ -106,6 +125,25 @@ void Gia_ManCleanMark1( Gia_Man_t * p ) /**Function************************************************************* + Synopsis [Sets phases of the internal nodes.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Gia_ManCheckMark1( Gia_Man_t * p ) +{ + Gia_Obj_t * pObj; + int i; + Gia_ManForEachObj( p, pObj, i ) + assert( pObj->fMark1 == 0 ); +} + +/**Function************************************************************* + Synopsis [Cleans the value.] Description [] |