diff options
Diffstat (limited to 'lib/randperm.h')
| -rw-r--r-- | lib/randperm.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/randperm.h b/lib/randperm.h new file mode 100644 index 0000000..b7efbeb --- /dev/null +++ b/lib/randperm.h @@ -0,0 +1,6 @@ +#include "randint.h" +#include <stddef.h> +#include <stdlib.h> +size_t randperm_bound (size_t, size_t) _GL_ATTRIBUTE_CONST; +size_t *randperm_new (struct randint_source *, size_t, size_t) + _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC_FREE; |