FUNCTION factor1

(* SCHEMA Ap242_managed_model_based_3d_engineering_mim_LF; *)

FUNCTION factor1(tspace : tuple_space) : maths_space;
  LOCAL
    typenames : SET OF STRING := TYPEOF (tspace);
  END_LOCAL;
  IF (schema_prefix + 'UNIFORM_PRODUCT_SPACE') IN typenames THEN
    RETURN (tspace\uniform_product_space.base);
  END_IF;
  IF (schema_prefix + 'LISTED_PRODUCT_SPACE') IN typenames THEN
    RETURN (tspace\listed_product_space.factors[1]);
    -- This path could return the indeterminate value if the list is empty.
    -- This is the correct result for this case.
  END_IF;
  IF (schema_prefix + 'EXTENDED_TUPLE_SPACE') IN typenames THEN
    RETURN (factor1 (tspace\extended_tuple_space.base));
  END_IF;
  -- Should not be reachable.
  RETURN (?);
END_FUNCTION;  -- factor1

Referenced By

Defintion factor1 is references by the following definitions:

Definition	Type
b_spline_function	ENTITY
check_sparse_index_domain	FUNCTION
check_sparse_index_to_loc	FUNCTION
check_sparse_loc_range	FUNCTION
definite_integral_check	FUNCTION
derive_definite_integral_domain	FUNCTION
derive_function_domain	FUNCTION
derive_function_range	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
partial_derivative_check	FUNCTION
rationalize_function	ENTITY
repackage	FUNCTION
repackaging_function	ENTITY
shape_of_array	FUNCTION

[Top Level Definitions] [Exit]

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