TYPE positive_ratio_measure

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

TYPE positive_ratio_measure
 = ratio_measure;
WHERE
 	WRTP3 : SELF > 0.0;
END_TYPE;  (*  STEP Part 41 (unchanged in 2nd edition)  *)

Referenced By

Defintion positive_ratio_measure is references by the following definitions:
DefinitionType
 measure_value SELECT


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2026-09-02T08:52:56-04:00