FUNCTION number_superspace_of

(* SCHEMA step_merged_cad_schema; *)

-- IN AP242
FUNCTION number_superspace_of
      (spc : maths_space ) : elementary_space;
      IF subspace_of_es(spc, es_integers) THEN
         RETURN (the_integers);
      END_IF;
      IF subspace_of_es(spc, es_reals) THEN
         RETURN (the_reals);
      END_IF;
      IF subspace_of_es(spc, es_complex_numbers) THEN
         RETURN (the_complex_numbers);
      END_IF;
      IF subspace_of_es(spc, es_numbers) THEN
         RETURN (the_numbers);
      END_IF;
      RETURN (?);
END_FUNCTION;

Referenced By

Defintion number_superspace_of is references by the following definitions:

Definition	Type
b_spline_function	ENTITY
derive_function_range	FUNCTION
drop_numeric_constraints	FUNCTION

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-11-21T15:22:04-05:00