diff options
Diffstat (limited to 'moon-abe/pbc-0.5.14/include/pbc_random.h')
-rw-r--r-- | moon-abe/pbc-0.5.14/include/pbc_random.h | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/moon-abe/pbc-0.5.14/include/pbc_random.h b/moon-abe/pbc-0.5.14/include/pbc_random.h deleted file mode 100644 index df688b9a..00000000 --- a/moon-abe/pbc-0.5.14/include/pbc_random.h +++ /dev/null @@ -1,32 +0,0 @@ -// Requires: -// * gmp.h -#ifndef __PBC_RANDOM_H__ -#define __PBC_RANDOM_H__ - -/*@manual pbcrandom -Sets 'filename' as a source of random bytes. For example, -on Linux one might use `/dev/random`. -*/ -void pbc_random_set_file(char *filename); - -/*@manual pbcrandom -Uses a determinstic random number generator, seeded with 'seed'. -*/ -void pbc_random_set_deterministic(unsigned int seed); - -/*@manual pbcrandom -Uses given function as a random number generator. -*/ -void pbc_random_set_function(void (*fun)(mpz_t, mpz_t, void *), void *data); - -/*@manual pbcrandom -Selects a random 'z' that is less than 'limit'. -*/ -void pbc_mpz_random(mpz_t z, mpz_t limit); - -/*@manual pbcrandom -Selects a random 'bits'-bit integer 'z'. -*/ -void pbc_mpz_randomb(mpz_t z, unsigned int bits); - -#endif //__PBC_RANDOM_H__ |