Version 5.0 The LEDA User Manual

4.15 Some Useful Functions ( misc )
The following functions and macros are defined in .
int read int(string s) prints s and reads an integer from cin.
double read real(string s) prints s and reads a real number from cin.
string read string(string s) prints s and reads a line from cin.
char read char(string s) prints s and reads a character from cin.
int Yes(string s) returns (read char(s) == ‘y’).
bool
bool
get environment(string var)
get environment(string var, string& val)
returns true if variable var is defined in the current
environment and false otherwise.
if variable var is defined in the current environment
its value is assigned to val and the result is true. Otherwise,
the result is false.
float used time( ) returns the currently used cpu time in seconds. (The
class timer in Section 4.16 provides a nicer interface
for time measurements.)
float used time(float& T ) returns the cpu time used by the program from time
T up to this moment and assigns the current time to
T .
void print statistics( ) prints a summary of the currently used memory,
which is used by LEDA’s internal memory manager.
This only reports on memory usage of LEDA’s internal
types and user-defined types that implement the
LEDA MEMORY macro (see Section 4.9).
bool is space(char c) returns true is c is a white space character.
void wait(double sec) suspends execution for sec seconds.
double truncate(double x, int k = 10)
returns a double whose mantissa is truncated after
k − 1 bits after the binary point, i.e, if x ≠ 0 then
the binary representation of the mantissa of the result
has the form d.dddddddd, where the number of d’s
is equal to k. There is a corresponding function for
integers; it has no effect.