FUNCTION space_dimension

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION space_dimension
      (tspace : tuple_space ) : nonnegative_integer;
   LOCAL
      types : SET OF STRING := TYPEOF(tspace);
   END_LOCAL;
      IF schema_prefix + 'UNIFORM_PRODUCT_SPACE' IN types THEN
         RETURN (tspace\uniform_product_space.exponent);
      END_IF;
      IF schema_prefix + 'LISTED_PRODUCT_SPACE' IN types THEN
         RETURN (SIZEOF(tspace\listed_product_space.factors));
      END_IF;
      IF schema_prefix + 'EXTENDED_TUPLE_SPACE' IN types THEN
         RETURN (space_dimension(tspace\extended_tuple_space.base));
      END_IF;
      RETURN (?);
END_FUNCTION;

Referenced By

Defintion space_dimension is references by the following definitions:
DefinitionType
 b_spline_function ENTITY
 check_sparse_loc_range FUNCTION
 compatible_spaces FUNCTION
 definite_integral_check FUNCTION
 derive_definite_integral_domain FUNCTION
 derive_function_range FUNCTION
 factor_space FUNCTION
 function_applicability FUNCTION
 function_is_1d_array FUNCTION
 function_is_1d_table FUNCTION
 function_is_2d_table FUNCTION
 function_is_array FUNCTION
 function_is_table FUNCTION
 general_linear_function ENTITY
 homogeneous_linear_function ENTITY
 member_of FUNCTION
 partial_derivative_check FUNCTION
 rationalize_function ENTITY
 repackaging_function ENTITY
 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