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- |
public interface EPartial_derivative_expression extends EUnary_generic_expressiond_variables (explicit attribute)boolean testD_variables(EPartial_derivative_expression type)AMaths_variable getD_variables(EPartial_derivative_expression type) AMaths_variable createD_variables(EPartial_derivative_expression type) void unsetD_variables(EPartial_derivative_expression type) extension (explicit attribute)boolean testExtension(EPartial_derivative_expression type)int getExtension(EPartial_derivative_expression type) void setExtension(EPartial_derivative_expression type, int value) void unsetExtension(EPartial_derivative_expression type) derivand (derived attribute)EGeneric_expression getDerivand(EPartial_derivative_expression type)boolean testDerivand(EPartial_derivative_expression type) |
public class CPartial_derivative_expression implements EPartial_derivative_expressionstatic EAttribute attributeD_variables(EPartial_derivative_expression type)static int usedinD_variables(EPartial_derivative_expression type, EMaths_variable instance, ASdaiModel domain, APartial_derivative_expression result) static EAttribute attributeExtension(EPartial_derivative_expression type) static EAttribute attributeDerivand(EPartial_derivative_expression type) static int usedinDerivand(EPartial_derivative_expression type, EGeneric_expression instance, ASdaiModel domain, APartial_derivative_expression result) |
public class APartial_derivative_expression extends AEntitypublic EPartial_derivative_expression getByIndex(int index)public EPartial_derivative_expression getCurrentMember(SdaiIterator it) |