|
ENTITY partial_derivative_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; d_variables : LIST [1:?] OF input_selector; extension : extension_options; DERIVE derivand : maths_function := SELF\unary_generic_expression.operand; WHERE WR1: space_is_continuum (derivand.range); WR2: partial_derivative_check (derivand.domain, d_variables); END_ENTITY; -- partial_derivative_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; partial_derivative_function (RT) operand: maths_function; d_variables: LIST [1:?] OF input_selector; extension: extension_options; (DER) derivand: maths_function; |
Global rules for this entity data type- |