IfcPositiveInteger

BACnet MVD

#### IfcPositiveInteger

Natural language names

Change log

Item | SPF | XML | Change | Description
--- | --- | --- | --- | ---
IFC4 Addendum 1
IfcPositiveInteger |  |  | ADDED |

##### Semantic definitions at the type

Type 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

> HISTORY New type in IFC4 ADD1

Formal Propositions

Rule | Description
--- | ---
WR1 | A positive integer shall be greater than zero.

##### Formal representations

XML Specification
`<xs:simpleType name="IfcPositiveInteger">
<xs:restriction base="ifc:IfcInteger"/>
</xs:simpleType>
`
EXPRESS Specification
`TYPE IfcPositiveInteger = IfcInteger;
WHERE
WR1 : SELF > 0
END_TYPE;

EXPRESS-G diagram

`

References: IfcIndexedPolygonalFace IfcIndexedPolygonalFaceWithVoids IfcPolygonalFaceSet IfcTriangulatedFaceSet IfcSimpleValue IfcIndexedColourMap IfcIndexedTriangleTextureMap

Link to this page