FUNCTION factor_space

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION factor_space
      (tspace : tuple_space;
       idx : positive_integer ) : maths_space;
   LOCAL
      typenames : SET OF STRING := TYPEOF(tspace);
   END_LOCAL;
      IF schema_prefix + 'UNIFORM_PRODUCT_SPACE' IN typenames THEN
         IF idx <= tspace\uniform_product_space.exponent THEN
            RETURN (tspace\uniform_product_space.base);
         END_IF;
         RETURN (?);
      END_IF;
      IF schema_prefix + 'LISTED_PRODUCT_SPACE' IN typenames THEN
         IF idx <= SIZEOF(tspace\listed_product_space.factors) THEN
            RETURN (tspace\listed_product_space.factors[idx]);
         END_IF;
         RETURN (?);
      END_IF;
      IF schema_prefix + 'EXTENDED_TUPLE_SPACE' IN typenames THEN
         IF idx <= space_dimension(tspace\extended_tuple_space.base) THEN
            RETURN (factor_space(tspace\extended_tuple_space.base, idx));
         END_IF;
         RETURN (tspace\extended_tuple_space.extender);
      END_IF;
      RETURN (?);
END_FUNCTION;

Referenced By

Defintion factor_space is references by the following definitions:
DefinitionType
 definite_integral_check FUNCTION
 derive_definite_integral_domain FUNCTION
 derive_function_range FUNCTION
 extract_factors FUNCTION
 function_applicability FUNCTION
 function_is_2d_table FUNCTION
 function_is_array FUNCTION
 function_is_table FUNCTION
 member_of FUNCTION
 partial_derivative_check FUNCTION
 shape_of_array FUNCTION
 subspace_of FUNCTION


[Top Level Definitions] [Exit]

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