FUNCTION domain_from

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
FUNCTION domain_from(ref : maths_space_or_function) : tuple_space;
LOCAL
  typenames : SET OF STRING := stripped_typeof(ref);
  func : maths_function;
END_LOCAL;
  IF NOT EXISTS(ref) THEN
    RETURN (?);
  END_IF;
  IF 'TUPLE_SPACE' IN typenames THEN
    RETURN (ref);
  END_IF;
  IF 'MATHS_SPACE' IN typenames THEN
    RETURN (one_tuples_of(ref));
  END_IF;
  func := ref;
  IF 'CONSTANT_FUNCTION' IN typenames THEN
    RETURN (domain_from(func\constant_function.source_of_domain));
  END_IF;
  IF 'SELECTOR_FUNCTION' IN typenames THEN
    RETURN (domain_from(func\selector_function.source_of_domain));
  END_IF;
  IF 'PARALLEL_COMPOSED_FUNCTION' IN typenames THEN
    RETURN (domain_from(func\parallel_composed_function.source_of_domain));
  END_IF;
  RETURN (func.domain);
END_FUNCTION;

Referenced By

Defintion domain_from is references by the following definitions:

Definition	Type
constant_function	ENTITY
derive_function_domain	FUNCTION
parallel_composed_function	ENTITY
selector_function	ENTITY

[Top Level Definitions] [Exit]

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