FUNCTION parallel_composed_function_composability_check

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION parallel_composed_function_composability_check
      (funcs : LIST OF maths_function;
       final : maths_function_select ) : BOOLEAN;
   LOCAL
      tplsp : tuple_space := the_zero_tuple_space;
      finfun : maths_function := convert_to_maths_function(final);
   END_LOCAL;
      REPEAT i := 1 TO SIZEOF(funcs) BY 1;
         tplsp := assoc_product_space(tplsp, funcs[i].range);
      END_REPEAT;
      RETURN (compatible_spaces(tplsp, finfun.domain));
END_FUNCTION;

Referenced By

Defintion parallel_composed_function_composability_check is references by the following definitions:
DefinitionType
 parallel_composed_function ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00