IFC 4.3.0.0 (IFC4X3) final

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}
Table 8.5.2.5.A

8.5.2.5.3 Formal representation

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

8.5.2.5.4 References