diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-30 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-30 08:01:00 -0700 |
commit | de81a1a1fb5d2cfff636a237a0a7008dcf196bcd (patch) | |
tree | 0ae940cc977896662e60a9050fe743ba5cd7b438 /src/bdd/cas/casCore.c | |
parent | 2b98b81837011f26d130ad0f44d4bc7b298f9cd7 (diff) | |
download | abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.tar.gz abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.tar.bz2 abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.zip |
Version abc80430
Diffstat (limited to 'src/bdd/cas/casCore.c')
-rw-r--r-- | src/bdd/cas/casCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cas/casCore.c b/src/bdd/cas/casCore.c index 579235b1..84d1e97b 100644 --- a/src/bdd/cas/casCore.c +++ b/src/bdd/cas/casCore.c @@ -52,7 +52,7 @@ DdNode * Cudd_bddTransferPermute( DdManager * ddSource, DdManager * ddDestinatio //////////////////////////////////////////////////////////////////////// #define PRD(p) printf( "\nDECOMPOSITION TREE:\n\n" ); PrintDecEntry( (p), 0 ) -#define PRB(f) printf( #f " = " ); Cudd_bddPrint(dd,f); printf( "\n" ) +#define PRB_(f) printf( #f " = " ); Cudd_bddPrint(dd,f); printf( "\n" ) #define PRK(f,n) Cudd_PrintKMap(stdout,dd,(f),Cudd_Not(f),(n),NULL,0); printf( "K-map for function" #f "\n\n" ) #define PRK2(f,g,n) Cudd_PrintKMap(stdout,dd,(f),(g),(n),NULL,0); printf( "K-map for function <" #f ", " #g ">\n\n" ) |