/* $Id: taus-gen.c,v 1.9 1998/06/11 18:02:00 bjg Exp $ */
/* File xxx-gen.xc is a template file
 *
 * This is either the template file xxx-gen.xc or else is generated
 * automatically from it.  If you want to make changes to this file,
 * make sure that the changes are to the template file xxx-gen.xc;
 * you can then rebuild the files taus-switch.c, taus-gen.c, and taus.h by
 * running the script 'makesrc taus' If you run the script with no
 * arguments, it makes all built-sources
 */

#include <config.h>
#include "taus.h"             /* defines gsl_ran_taus_ prototypes */
#include "gsl_ran.h"         /* defines gsl_ran_ prototypes */

inline unsigned long gsl_ran_random_wstate(void *vState) {
    return gsl_ran_taus_random_wstate(vState);
}
inline double gsl_ran_uniform_wstate(void *vState) {
    return gsl_ran_taus_uniform_wstate(vState);
}
inline double gsl_ran_max() {
    return gsl_ran_taus_max();
}
inline void gsl_ran_seed_wstate(void *vState, int seed) {
    gsl_ran_taus_seed_wstate(vState,seed);
}
inline unsigned long gsl_ran_random() {
    return gsl_ran_taus_random();
}
inline double gsl_ran_uniform() {
    return gsl_ran_taus_uniform();
}
inline void gsl_ran_seed(int seed) {
    gsl_ran_taus_seed(seed);
}
inline void *gsl_ran_getRandomState() {
    return gsl_ran_taus_getRandomState();
}
inline void gsl_ran_setRandomState(void *vState) {
    gsl_ran_taus_setRandomState(vState);
}
inline void gsl_ran_printState(void *vState) {
     gsl_ran_taus_printState(vState);
}