diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-10 08:01:00 -0700 |
| commit | e52e48c3643b0a69ee84291634d5a31956d183db (patch) | |
| tree | 98f7c5d4940dd6cc43fb4cffdd37eb2f252b9898 /src/misc/extra | |
| parent | eb4cdcdcb4db6e468aa02a7949217fa6da245217 (diff) | |
| download | abc-e52e48c3643b0a69ee84291634d5a31956d183db.tar.gz abc-e52e48c3643b0a69ee84291634d5a31956d183db.tar.bz2 abc-e52e48c3643b0a69ee84291634d5a31956d183db.zip | |
Version abc50910
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extra.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index f36b113f..904d550f 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -63,6 +63,15 @@ /* Macro declarations */ /*---------------------------------------------------------------------------*/ +typedef unsigned char uint8; +typedef unsigned short uint16; +typedef unsigned int uint32; +#ifdef WIN32 +typedef unsigned __int64 uint64; +#else +typedef unsigned long long uint64; +#endif + /* constants of the manager */ #define b0 Cudd_Not((dd)->one) #define b1 (dd)->one |