IFC (IFC4X3_ADD2) under development IfcDayInMonthNumber Semantic definition

IfcDayInMonthNumber is an integer that defines the position of the specified day in a month.

Type: INTEGER 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}
Table Formal representation

TYPE IfcDayInMonthNumber = INTEGER;
	 ValidRange : {1 <= SELF <= 31};
END_TYPE; References

Edit on Github

Is this page difficult to understand? Let us know! Changelog IFC4

  • where rule, ValidRange