IFC 4.3.x development

8.11.2.71 IfcPositiveLengthMeasure

8.11.2.71.1 Semantic definitions at the entity

An IfcPositiveLengthMeasure is a length measure that is greater than zero.

Type: IfcLengthMeasure

NOTE  Type adapted from positive_length_measure defined in ISO 10303-41.

HISTORY  New type in IFC1.5.1.

Formal Propositions

WR1

A positive measure shall be greater than zero.

8.11.2.71.1 Formal representations

TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;
 WHERE
	 WR1 : SELF > 0.;
END_TYPE;