diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-02 19:02:04 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-02 19:02:04 -0800 |
commit | f2945e12f378bdcaec1a9b98eadf66ad7c686e36 (patch) | |
tree | 231143f81ccf167a3ba3a1dd24af83f8960ae380 /src/bdd/mtr/mtr.h | |
parent | e3f2dde1c4eeaa8c891ecb7a1f07dab324ce1da3 (diff) | |
download | abc-f2945e12f378bdcaec1a9b98eadf66ad7c686e36.tar.gz abc-f2945e12f378bdcaec1a9b98eadf66ad7c686e36.tar.bz2 abc-f2945e12f378bdcaec1a9b98eadf66ad7c686e36.zip |
Upgrading epd and mtr packages to be compatible with the latest release of CUDD 2.4.2
Diffstat (limited to 'src/bdd/mtr/mtr.h')
-rw-r--r-- | src/bdd/mtr/mtr.h | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/bdd/mtr/mtr.h b/src/bdd/mtr/mtr.h index d3b703b8..5ac35313 100644 --- a/src/bdd/mtr/mtr.h +++ b/src/bdd/mtr/mtr.h @@ -96,20 +96,20 @@ ABC_NAMESPACE_HEADER_START #endif /* Flag definitions */ -#define MTR_DEFAULT 0x00000000 +#define MTR_DEFAULT 0x00000000 #define MTR_TERMINAL 0x00000001 -#define MTR_SOFT 0x00000002 -#define MTR_FIXED 0x00000004 -#define MTR_NEWNODE 0x00000008 +#define MTR_SOFT 0x00000002 +#define MTR_FIXED 0x00000004 +#define MTR_NEWNODE 0x00000008 /* MTR_MAXHIGH is defined in such a way that on 32-bit and 64-bit ** machines one can cast a value to (int) without generating a negative ** number. */ #if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4 -#define MTR_MAXHIGH (((MtrHalfWord) ~0) >> 1) +#define MTR_MAXHIGH (((MtrHalfWord) ~0) >> 1) #else -#define MTR_MAXHIGH ((MtrHalfWord) ~0) +#define MTR_MAXHIGH ((MtrHalfWord) ~0) #endif @@ -150,8 +150,8 @@ typedef struct MtrNode { /*---------------------------------------------------------------------------*/ /* Flag manipulation macros */ -#define MTR_SET(node, flag) (node->flags |= (flag)) -#define MTR_RESET(node, flag) (node->flags &= ~ (flag)) +#define MTR_SET(node, flag) (node->flags |= (flag)) +#define MTR_RESET(node, flag) (node->flags &= ~ (flag)) #define MTR_TEST(node, flag) (node->flags & (flag)) |