7 /*---------------------------------------------------------------------------*/
9 void put_float(FILE *, const float *);
10 void put_index(FILE *, const int *);
11 void put_array(FILE *, const float *, size_t);
13 void get_float(FILE *, float *);
14 void get_index(FILE *, int *);
15 void get_array(FILE *, float *, size_t);
17 void put_string(FILE *fout, const char *);
18 void get_string(FILE *fin, char *, int );
20 /*---------------------------------------------------------------------------*/