diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-02-22 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-02-22 08:01:00 -0800 |
| commit | 9e6f8406e80c55455c464b01033040a88fd12c40 (patch) | |
| tree | 5aba441c0d358e48bc9d6fc56f027af792b4c536 /src/bdd/dsd/dsdTree.c | |
| parent | 8eef7f8326e715ea4e9e84f46487cf4657601c25 (diff) | |
| download | abc-9e6f8406e80c55455c464b01033040a88fd12c40.tar.gz abc-9e6f8406e80c55455c464b01033040a88fd12c40.tar.bz2 abc-9e6f8406e80c55455c464b01033040a88fd12c40.zip | |
Version abc60222
Diffstat (limited to 'src/bdd/dsd/dsdTree.c')
| -rw-r--r-- | src/bdd/dsd/dsdTree.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/bdd/dsd/dsdTree.c b/src/bdd/dsd/dsdTree.c index 2f83ddd5..2855d68d 100644 --- a/src/bdd/dsd/dsdTree.c +++ b/src/bdd/dsd/dsdTree.c @@ -904,6 +904,15 @@ void Dsd_NodePrint_rec( FILE * pFile, Dsd_Node_t * pNode, int fComp, char * pOut fprintf( pFile, "\'" ); } fprintf( pFile, " )\n" ); +/* + fprintf( pFile, " ) " ); + { + DdNode * bLocal; + bLocal = Dsd_TreeGetPrimeFunction( dd, pNodeDsd ); Cudd_Ref( bLocal ); + Extra_bddPrint( dd, bLocal ); + Cudd_RecursiveDeref( dd, bLocal ); + } +*/ // call recursively for the following blocks for ( i = 0; i < pNode->nDecs; i++ ) if ( pInputNums[i] ) |