8.11.2.71 IfcPositiveLengthMeasure

8.11.2.71.1 Semantic definition

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

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

Table 8.11.2.71.A

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