8.5.2.4 IfcDayInMonthNumber
8.5.2.4.1 Semantic definition
IfcDayInMonthNumber is an integer that defines the position of the specified day in a month.
Type: INTEGER
8.5.2.4.2 Formal Propositions
| ValidRange | The valid range for positioning a day in a month is min inclusive = 1 and max inclusive = 31. |
8.5.2.4.3 Formal representation
TYPE IfcDayInMonthNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 31};
END_TYPE;