From 770bc99e79baa07a9d2cc7a25dc30ee86ed34d91 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 15 Mar 2009 08:01:00 -0700 Subject: Version abc90315 --- src/misc/extra/extra.h | 2 +- src/misc/extra/extraBddMisc.c | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'src/misc/extra') 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 ); -- cgit v1.2.3