Navigation
Navigate Navigate Navigate Navigate Navigate Navigate

IfcPositiveRatioMeasure

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

Type: IfcRatioMeasure

NOTE Corresponding STEP name: positive_ratio_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 IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1  :  SELF > 0.;
END_TYPE;

Formal Propositions:

WR1  :  A positive measure shall be greater than zero.