IFC (IFC4X3_ADD2) under development IfcPositiveLengthMeasure Semantic definition

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

Type: IfcLengthMeasure Formal Propositions

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

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

Edit on Github

Is this page difficult to understand? Let us know!