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