//
// Created by hclimente on 22/01/2018.
//

#ifndef GIN_RANDOM_H
#define GIN_RANDOM_H

void set_seed(float64);
VectorXd shuffle_vector(int);
int urand();
VectorXd urand(int);

#endif //GIN_RANDOM_H
