/* gsl_ran_switch.h */
#ifndef gsl_ran_SWITCH_H 
#define gsl_ran_SWITCH_H 
void gsl_ran_use_default(void);
void gsl_ran_use_taus(void);
void gsl_ran_use_mrg(void);
void gsl_ran_use_cmrg(void);
void gsl_ran_use_uni(void);
void gsl_ran_use_uni32(void);
void gsl_ran_use_zuf(void);
void gsl_ran_use_rand(void);
#endif