FUNCTION space_is_continuum

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION space_is_continuum
      (space : maths_space ) : BOOLEAN;
   LOCAL
      typenames : SET OF STRING := TYPEOF(space);
      factors : LIST OF maths_space;
   END_LOCAL;
      IF NOT EXISTS(space) THEN
         RETURN (FALSE);
      END_IF;
      IF subspace_of_es(space, es_reals) OR subspace_of_es(space, es_complex_numbers) THEN
         RETURN (TRUE);
      END_IF;
      IF schema_prefix + 'UNIFORM_PRODUCT_SPACE' IN typenames THEN
         RETURN (space_is_continuum(space\uniform_product_space.base));
      END_IF;
      IF schema_prefix + 'LISTED_PRODUCT_SPACE' IN typenames THEN
         factors := space\listed_product_space.factors;
         IF SIZEOF(factors) = 0 THEN
            RETURN (FALSE);
         END_IF;
         REPEAT i := 1 TO SIZEOF(factors) BY 1;
            IF NOT space_is_continuum(factors[i]) THEN
               RETURN (FALSE);
            END_IF;
         END_REPEAT;
         RETURN (TRUE);
      END_IF;
      RETURN (FALSE);
END_FUNCTION;

Referenced By

Defintion space_is_continuum is references by the following definitions:
DefinitionType
 definite_integral_expression ENTITY
 definite_integral_function ENTITY
 partial_derivative_expression ENTITY
 partial_derivative_function ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00