Navigation

IfcPositiveRatioMeasure

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

Type: IfcRatioMeasure

EXPRESS specification:

TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
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