Project

General

Profile

« Previous | Next » 

Revision 65de9931

Added by Pierre-Loïc Garoche about 5 years ago

New feature to specify the number of digits to be printed

View differences:

include/io_frontend.h
23 23
extern void _put_int(FILE* file, char* n, int _V);
24 24

  
25 25
/*@ assigns \nothing; */
26
extern void _put_float(FILE* file, char* n, float _V);
26
extern void _put_float(FILE* file, char* n, float _V, int PREC);
27 27

  
28 28
/*@ assigns \nothing; */
29
extern void _put_double(FILE* file, char* n, double _V);
29
extern void _put_double(FILE* file, char* n, double _V, int PREC);
30 30

  
31 31
#endif

Also available in: Unified diff