Get gpu count and name

Tino Hager

2018-07-10 c021841a52a7b71224b755bfbf779b05012b59d5

 src/data.h

@@ -100,6 +100,7 @@

list *get_paths(char *filename);
char **get_labels(char *filename);
char **get_labels_custom(char *filename, int *size);
void get_random_batch(data d, int n, float *X, float *y);
data get_data_part(data d, int part, int total);
data get_random_data(data d, int num);