|
ENTITY parallel_composed_function SUBTYPE OF (maths_function, multiple_arity_generic_expression); source_of_domain : maths_space_or_function; prep_functions : LIST [1:?] OF maths_function; final_function : maths_function_select; DERIVE SELF\multiple_arity_generic_expression.operands : LIST [2:?] OF generic_expression := convert_to_operands_prcmfn(source_of_domain, prep_functions, final_function); WHERE WR1: no_cyclic_domain_reference(source_of_domain, [SELF]); WR2: expression_is_constant(domain_from(source_of_domain)); WR3: parallel_composed_function_domain_check(domain_from(source_of_domain), prep_functions); WR4: parallel_composed_function_composability_check(prep_functions, final_function); END_ENTITY; -- parallel_composed_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; parallel_composed_function source_of_domain: maths_space_or_function; prep_functions: LIST [1:?] OF maths_function; final_function: maths_function_select; (RT) (DER) operands: LIST [2:?] OF generic_expression; |
Global rules for this entity data type- |