|
ENTITY partial_derivative_expression SUBTYPE OF (unary_generic_expression); d_variables : LIST [1:?] OF maths_variable; extension : extension_options; DERIVE derivand : generic_expression := SELF\unary_generic_expression.operand; WHERE WR1: has_values_space (derivand); WR2: space_is_continuum (values_space_of (derivand)); WR3: SIZEOF (QUERY (vbl <* d_variables | (NOT subspace_of (values_space_of (vbl), the_reals)) AND (NOT subspace_of (values_space_of (vbl), the_complex_numbers)) )) = 0; END_ENTITY; -- partial_derivative_expression |
Entity data types and their attributesgeneric_expression- unary_generic_expression operand: generic_expression; partial_derivative_expression d_variables: LIST [1:?] OF maths_variable; extension: extension_options; (DER) derivand: generic_expression; |
Global rules for this entity data type- |