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