Navigation

IfcPositiveLengthMeasure

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

Type: IfcLengthMeasure

EXPRESS specification:

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

Formal Propositions:

WR1  :  A positive measure shall be greater than zero.

References (1):

Name Type Referred through Express-G
IfcMeasureValue Select
Select relation
Diagram 2