IfcPositiveLengthMeasure

Definition from ISO/CD 10303-41:1992: A positive length measure is a length measure that is greater than zero.

Type: IfcLengthMeasure

NOTE Corresponding STEP name: positive_length_measure, please refer to ISO/IS 10303-41:1994 for the final definition of the formal standard.

HISTORY New type in IFC Release 1.5.1.

EXPRESS specification:

TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;

WHERE

WR1

SELF > 0.;

END_TYPE;

WR1

A positive measure shall be greater than zero.