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- |
public interface EPartial_derivative_function extends EMaths_function, EUnary_generic_expressiond_variables (explicit attribute)boolean testD_variables(EPartial_derivative_function type)A_int getD_variables(EPartial_derivative_function type) A_int createD_variables(EPartial_derivative_function type) void unsetD_variables(EPartial_derivative_function type) extension (explicit attribute)boolean testExtension(EPartial_derivative_function type)int getExtension(EPartial_derivative_function type) void setExtension(EPartial_derivative_function type, int value) void unsetExtension(EPartial_derivative_function type) derivand (derived attribute)EMaths_function getDerivand(EPartial_derivative_function type)boolean testDerivand(EPartial_derivative_function type) |
public class CPartial_derivative_function implements EPartial_derivative_functionstatic EAttribute attributeD_variables(EPartial_derivative_function type)static EAttribute attributeExtension(EPartial_derivative_function type) static EAttribute attributeDerivand(EPartial_derivative_function type) static int usedinDerivand(EPartial_derivative_function type, EMaths_function instance, ASdaiModel domain, APartial_derivative_function result) |
public class APartial_derivative_function extends AEntitypublic EPartial_derivative_function getByIndex(int index)public EPartial_derivative_function getCurrentMember(SdaiIterator it) |