TYPE positive_length_measure

(* SCHEMA building_design_schema; *)

  TYPE positive_length_measure = length_measure;
  WHERE
    wr1: SELF > 0;
  END_TYPE; -- positive_length_measure

Referenced By

Defintion positive_length_measure is references by the following definitions:
DefinitionType
 block ENTITY
 circle ENTITY
 cylindrical_surface ENTITY
 ellipse ENTITY
 extruded_area_solid ENTITY
 hyperbola ENTITY
 measure_value SELECT
 right_circular_cone ENTITY
 right_circular_cylinder ENTITY
 sphere ENTITY
 spherical_surface ENTITY
 toroidal_surface ENTITY
 torus ENTITY


[Top Level Definitions] [Exit]

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