IFC 4.4.0.0 build 20261005 (IFC4X4_DEV_20260525) ⚠ buildingSMART Working Draft. All content is under 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 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

3 contributor(s):
Last change: Improve definition split (#876) * bring back headers headers were previously removed by mistake, now bringing them back * add new lines and rename the tag add the word 'short' in it * unify newlines make exactly one newline before and two after the tag * resolving typos Because bringing back headers required to go back in time to previous version, I'm now re-resolving the issues: #861, #860, #856 by ArturTomczak on 2024-07-16T16:07:28+02:00

Is this page difficult to understand? Let us know!

8.11.2.70.5 Changelog

8.11.2.70.5.1 IFC4

New resource