2020-09-02 16:47:03 +08:00
|
|
|
#include "randint.h"
|
|
|
|
|
#include <stddef.h>
|
2022-07-28 14:16:50 +08:00
|
|
|
#include <stdlib.h>
|
2020-09-02 16:47:03 +08:00
|
|
|
size_t randperm_bound (size_t, size_t) _GL_ATTRIBUTE_CONST;
|
2022-07-28 14:16:50 +08:00
|
|
|
size_t *randperm_new (struct randint_source *, size_t, size_t)
|
|
|
|
|
_GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC_FREE;
|
