Version 5.0 The LEDA User Manual

string D.get month name( ) returns the name of the month of D in the current
language.
int D.get year( ) returns the year part of D.
bool D.set day(int d) sets the day part of D to d, i.e. if D is d’.m.y then D
is set to d.m.y.
bool D.add to day(int d) adds d days to D (cf. arithmetic operations).
bool D.set month(month m)
bool D.add to month(int m)
sets the month part of D to m.
adds m months to the month part of D.
Let D be d.m’.y, then it is set to d.(m’ + m).y. If
this produces an overflow (i.e. m ′ + m > 12) then the
month part is repeatedly decremented by 12 and the
year part is simultaneously incremented by 1, until the
month part is valid. (An underflow (i.e. m ′ + m < 1)
is treated analogously.) The day part of the result is
set to the minimum of d and the number of days in
the resulting month.
bool D.set year(int y) sets the year part of D to y.
bool D.add to year(int y) adds y years to the year part of D.
(If D has the form 29.2.y’ and y’ + y is no leap year,
then D is set to 28.2.(y’ + y).)
int D.get day of week( ) returns the day of the week of D.
(1=Monday, 2=Tuesday, . . . , 7=Sunday)
string D.get dow name( ) returns the name of the weekday of D in the current
language.
int D.get week( ) returns the number of the calendar week of D (range
[1,53]).
A week always ends with a Sunday. Every week belongs
to the year which covers most of its days. (If the
first Sunday of a year occurs before the fourth day of
the year, then all days up to this Sunday belong to
the last week of the preceding year. Similarly, if there
are less than 4 days left after the last Sunday of a
year, then these days belong to the first week of the
succeding year.)
int D.get day in year( ) returns the number of the day in the year of D (range
[1;366]).