diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-15 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-15 08:01:00 -0700 |
| commit | 770bc99e79baa07a9d2cc7a25dc30ee86ed34d91 (patch) | |
| tree | c1240cf561832c51469197f7d01c91844b09c6a7 /src/misc | |
| parent | 81b51657f5c502e45418630614fd56e5e1506230 (diff) | |
| download | abc-770bc99e79baa07a9d2cc7a25dc30ee86ed34d91.tar.gz abc-770bc99e79baa07a9d2cc7a25dc30ee86ed34d91.tar.bz2 abc-770bc99e79baa07a9d2cc7a25dc30ee86ed34d91.zip | |
Version abc90315
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extra.h | 2 | ||||
| -rw-r--r-- | src/misc/extra/extraBddMisc.c | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index f81479b3..dc2c2b0b 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -169,7 +169,7 @@ extern DdNode * Extra_bddImageRead2( Extra_ImageTree2_t * pTree ); extern DdNode * Extra_TransferPermute( DdManager * ddSource, DdManager * ddDestination, DdNode * f, int * Permute ); extern DdNode * Extra_TransferLevelByLevel( DdManager * ddSource, DdManager * ddDestination, DdNode * f ); extern DdNode * Extra_bddRemapUp( DdManager * dd, DdNode * bF ); -extern DdNode * Extra_bddMove( DdManager * dd, DdNode * bF, int fShiftUp ); +extern DdNode * Extra_bddMove( DdManager * dd, DdNode * bF, int nVars ); extern DdNode * extraBddMove( DdManager * dd, DdNode * bF, DdNode * bFlag ); extern void Extra_StopManager( DdManager * dd ); extern void Extra_bddPrint( DdManager * dd, DdNode * F ); diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c index e17d1744..0c285fc7 100644 --- a/src/misc/extra/extraBddMisc.c +++ b/src/misc/extra/extraBddMisc.c @@ -221,6 +221,7 @@ void Extra_StopManager( DdManager * dd ) // check for remaining references in the package RetValue = Cudd_CheckZeroRef( dd ); if ( RetValue > 10 ) +// if ( RetValue ) printf( "\nThe number of referenced nodes = %d\n\n", RetValue ); // Cudd_PrintInfo( dd, stdout ); Cudd_Quit( dd ); |