TYPE elementary_space_enumerators

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
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:

Definition	Type
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:17:30-04:00