IFC 4.3.0.1 (IFC4X3) development

8.11.2.70 IfcPositiveInteger

8.11.2.70.1 Semantic definition

IfcPositiveInteger is a defined type based on simple data type Integer with the additional restriction to positive integers (excluding zero).

In principle, the domain of IfcInteger is all integer numbers larger than zero. Here the number of bits used for the IfcInteger representation is unconstrained, but in practice it is implementation specific.

Type: INTEGER

8.11.2.70.2 Formal Propositions

WR1<html><body><p>A positive integer shall be greater than zero.</p></body></html>
SELF > 0
Table 8.11.2.70.A

8.11.2.70.3 Formal representation

TYPE IfcPositiveInteger = IfcInteger;
 WHERE
	 WR1 : SELF > 0;
END_TYPE;

8.11.2.70.4 References

Edit on Github


Is this page difficult to understand? Let us know!