8.5.2.5 IfcDayInWeekNumber

8.5.2.5.1 Semantic definition

The IfcDayInWeekNumber is an integer that defines the position of the specified day in a week. The positions have the following meaning that assigns the ordinal day number in the week to the Calendar day name.

Ordinal day numbers map to calendar days as follows:

• 1: Monday
• 2: Tuesday
• 3: Wednesday
• 4: Thursday
• 5: Friday
• 6: Saturday
• 7: Sunday

8.5.2.5.3 Formal representation

TYPE IfcDayInWeekNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 7};
END_TYPE;