void rng_set_initial_seed()
tw_rng * rng_core_init(int v, int w)
tw_rng * rng_init(int v, int w)
double rng_gen_reverse_val(tw_rng_stream *g)
void rng_write_state(tw_rng_stream *g, FILE *f)
double rng_gen_val(tw_rng_stream *g)
void rng_get_state(tw_rng_stream *g, uint32_t *s)
void rng_set_seed(tw_rng_stream *g, uint32_t *s, tw_rng *the_rng)
void rng_init_generator(tw_rng_stream *g, SeedType Where, tw_rng *the_rng)