Version 5.0 The LEDA User Manual

3. Creation
date D;
creates an instance D of type date and initializes it to the current
date.
date D(int d, month m, int y);
creates an instance D of type date and initializes it to d.m.y.
Precondition: d.m.y represents a valid date.
date D(string date str, bool swallow = true);
creates an instance D of type date and initializes it to date given
in date str.
If swallow is true, then the format ”m/d/[yy]yy; d?m?[yy]yy” is
used to parse date str, otherwise the current input format is applied.
Precondition: date str represents a valid date.
4. Operations
4.1 Languages and Input/Output Formats
void date :: set language(language l)
sets the language to l, which means that the month
names and the weekday names are set according to
the language.
Precondition: l ≠ user def lang
void
void
language
date :: set month names(const char ∗ names[])
date :: set dow names(const char ∗ names[])
sets the names for the months and changes the language
to user def lang.
Precondition: names[0..11] contains the names for the
months from January to December.
sets the names for the weekdays and changes the language
to user def lang.
Precondition: names[0..6] contains the names for the
weekdays from Monday to Sunday.
date :: get language( ) returns the current language.
void date :: set input format(format f)
void date :: set input format(string f)
sets the input format to f.
Precondition: f ≠ user def fmt
sets the input format to the user-defined format in f.
Precondition: f is a valid format string