IfcDayInMonthNumber
类型定义
IfcDayInMonthNumber是一个整数，用于定义指定日期在一个月中的位置。
类型：整数
IFC1.5.1中的新型。
IFC4 添加规则ValidRange的位置
Formal Propositions
| Rule | Description |
|---|---|
| ValidRange | The valid range for positioning a day in a month is min inclusive = 1 and max inclusive = 31. |
EXPRESS Specification
TYPE IfcDayInMonthNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 31}
END_TYPE;
###################################
标签：inclusive,Specification,IfcDayInMonthNumber,IFC4,整数,ValidRange From： https://www.cnblogs.com/herd/p/17562694.html