FUNCTION space_dimension

(* SCHEMA engineering_properties_schema; *)



   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:

Definition	Type
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
symmetric_matrix	ENTITY

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:18:51-04:00