TYPE elementary_space_enumerators

(* SCHEMA engineering_properties_schema; *)



   TYPE elementary_space_enumerators = ENUMERATION OF
      (es_numbers,
       es_complex_numbers,
       es_reals,
       es_integers,
       es_logicals,
       es_booleans,
       es_strings,
       es_binarys,
       es_maths_spaces,
       es_maths_functions,
       es_generics);
   END_TYPE;

Referenced By

Defintion elementary_space_enumerators is references by the following definitions:
DefinitionType
 all_members_of_es FUNCTION
 any_space_satisfies FUNCTION
 compatible_es_values FUNCTION
 elementary_space ENTITY
 es_subspace_of_es FUNCTION
 make_elementary_space FUNCTION
 maths_enum_atom SELECT
 subspace_of FUNCTION
 subspace_of_es FUNCTION


[Top Level Definitions] [Exit]

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