IfcPositiveInteger

Natural language names
Positive Integer
Change log
ItemSPFXMLChangeDescription
IFC4 Addendum 1 4.0.1.0
    IfcPositiveIntegerADDED
IFC4 Addendum 1 4.0.1.0
    IfcPositiveIntegerADDED
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
RuleDescription
WR1A 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;

Link to EXPRESS-G diagram EXPRESS-G diagram

References  References: IfcIndexedPolygonalFace IfcIndexedPolygonalFaceWithVoids IfcPolygonalFaceSet IfcTriangulatedFaceSet IfcSimpleValue IfcIndexedColourMap IfcIndexedTriangleTextureMap

Link to this page  Link to this page