FUNCTION stripped_typeof

(* SCHEMA mathematical_functions_schema; *)

FUNCTION stripped_typeof(arg : GENERIC:G) : SET OF STRING;
  LOCAL
    types : SET OF STRING := TYPEOF (arg);
    stypes : SET OF STRING := [];
    n : INTEGER := LENGTH (schema_prefix);
  END_LOCAL;
  REPEAT i := 1 TO SIZEOF (types);
    IF types[i][1:n] = schema_prefix THEN
       stypes := stypes + [types[i][n+1:LENGTH(types[i])]];
    ELSE
       stypes := stypes + [types[i]];
    END_IF;
  END_REPEAT;
  RETURN (stypes);
END_FUNCTION;  -- stripped_typeof

Referenced By

Defintion stripped_typeof is references by the following definitions:

Definition	Type
all_members_of_es	FUNCTION
any_space_satisfies	FUNCTION
assoc_product_space	FUNCTION
compatible_complex_number_regions	FUNCTION
compatible_spaces	FUNCTION
convert_to_operand	FUNCTION
definite_integral_expr_check	FUNCTION
derive_function_domain	FUNCTION
derive_function_range	FUNCTION
domain_from	FUNCTION
drop_numeric_constraints	FUNCTION
equal_maths_spaces	FUNCTION
equal_maths_values	FUNCTION
free_variables_of	FUNCTION
function_is_2d_table	FUNCTION
has_values_space	FUNCTION
maths_value	SELECT
member_of	FUNCTION
number_tuple_subspace_check	FUNCTION
real_interval	SELECT
simplify_function_application	FUNCTION
simplify_generic_expression	FUNCTION
simplify_maths_space	FUNCTION
simplify_maths_value	FUNCTION
singleton_member_of	FUNCTION
space_is_singleton	FUNCTION
subspace_of	FUNCTION
subspace_of_es	FUNCTION
substitute	FUNCTION

[Top Level Definitions] [Exit]

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