diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-08 14:35:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-08 14:35:29 -0700 |
| commit | dd51c2993458d4c76442bbb5bf1ca00b5d207c35 (patch) | |
| tree | 1875acdd9a8826fb2f2a12318b8aaa3e5bb21d8d /src/aig | |
| parent | 72c23923da38d9e06b4a57816704fe1c0d37a2c4 (diff) | |
| download | abc-dd51c2993458d4c76442bbb5bf1ca00b5d207c35.tar.gz abc-dd51c2993458d4c76442bbb5bf1ca00b5d207c35.tar.bz2 abc-dd51c2993458d4c76442bbb5bf1ca00b5d207c35.zip | |
Experiments with don't-cares.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaShow.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaShow.c b/src/aig/gia/giaShow.c index 3ca31d55..ead794eb 100644 --- a/src/aig/gia/giaShow.c +++ b/src/aig/gia/giaShow.c @@ -218,7 +218,7 @@ void Gia_ShowPath( Gia_Man_t * p, char * pFileName ) { if ( (int)Gia_ObjLevel(p, pNode) != Level || !Vec_BitEntry(vPath, i) ) continue; - fprintf( pFile, " Node%d [label = \"%d:%d\"", i, i, Gia_ObjIsAnd(pNode)? Gia_ObjLutSize(p, i) : 0 ); + fprintf( pFile, " Node%d [label = \"%d:%d\"", i, Vec_IntSize(p->vIdsOrig)?Vec_IntEntry(p->vIdsOrig,i):i, Gia_ObjIsAnd(pNode)?Gia_ObjLutSize(p, i):0 ); fprintf( pFile, ", shape = ellipse" ); if ( pNode->fMark0 ) fprintf( pFile, ", style = filled" ); |