diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-05 19:50:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-05 19:50:32 -0700 |
| commit | 4393a5fade106b91ed9e3c32016a5773b5063c6b (patch) | |
| tree | 8a1c0ef87d0b6edbc8148fe7c9ac34786509de32 /src/proof/fraig/fraigInt.h | |
| parent | cd2bd70865c6362b8162bef2b3d98125df984b85 (diff) | |
| download | abc-4393a5fade106b91ed9e3c32016a5773b5063c6b.tar.gz abc-4393a5fade106b91ed9e3c32016a5773b5063c6b.tar.bz2 abc-4393a5fade106b91ed9e3c32016a5773b5063c6b.zip | |
Added platform-independent random-number generator to 'fraig'.
Diffstat (limited to 'src/proof/fraig/fraigInt.h')
| -rw-r--r-- | src/proof/fraig/fraigInt.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/proof/fraig/fraigInt.h b/src/proof/fraig/fraigInt.h index bcd745d1..0decf6ff 100644 --- a/src/proof/fraig/fraigInt.h +++ b/src/proof/fraig/fraigInt.h @@ -72,7 +72,8 @@ ABC_NAMESPACE_HEADER_START #define FRAIG_NUM_WORDS(n) (((n)>>5) + (((n)&31) > 0)) // generating random unsigned (#define RAND_MAX 0x7fff) -#define FRAIG_RANDOM_UNSIGNED ((((unsigned)rand()) << 24) ^ (((unsigned)rand()) << 12) ^ ((unsigned)rand())) +//#define FRAIG_RANDOM_UNSIGNED ((((unsigned)rand()) << 24) ^ (((unsigned)rand()) << 12) ^ ((unsigned)rand())) +#define FRAIG_RANDOM_UNSIGNED Aig_ManRandom(0) // macros to get hold of the bits in a bit string #define Fraig_BitStringSetBit(p,i) ((p)[(i)>>5] |= (1<<((i) & 31))) @@ -345,6 +346,9 @@ struct Fraig_HashTableStruct_t_ /// GLOBAL VARIABLES /// //////////////////////////////////////////////////////////////////////// +// random number generator imported from another package +extern unsigned Aig_ManRandom( int fReset ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// |