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.2 Formal Propositions
ValidRange | <html><body><p>The valid range for positioning a day in a week is min inclusive = 1 and max inclusive = 7.</p></body></html>{1 <= SELF <= 7} |
8.5.2.5.3 Formal representation
TYPE IfcDayInWeekNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 7};
END_TYPE;