IFC 4.3.0.0 (IFC4X3) final

8.9.2.7 IfcDimensionCount

8.9.2.7.1 Semantic definition

The IfcDimensionCount defines the dimensionality of the coordinate space. It is restricted to have the dimensionality of either 1, 2, or 3 for the purpose of this specification.

8.9.2.7.2 Formal Propositions

WR1<html><body><p>The dimension count should be an integer between 1 and 3 NOTE: This is a further constraint by IFC, the upper limit does not exist in STEP.</p></body></html>
{ 0 < SELF <= 3 }
Table 8.9.2.7.A

8.9.2.7.3 Formal representation 

TYPE IfcDimensionCount = INTEGER;
 WHERE
	 WR1 : { 0 < SELF <= 3 };
END_TYPE;

8.9.2.7.4 References