TYPE positive_length_measure

(* SCHEMA Ship_arrangement_schema; *)



   TYPE positive_length_measure = length_measure;
   WHERE
      WR1:
         SELF > 0.00000;
   END_TYPE;

Referenced By

Defintion positive_length_measure is references by the following definitions:
DefinitionType
 circle ENTITY
 cylindrical_surface ENTITY
 ellipse ENTITY
 hyperbola ENTITY
 measure_value SELECT
 spherical_surface ENTITY
 toroidal_surface ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:16:37-04:00