|
ENTITY b_spline_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; basis : LIST [1:?] OF b_spline_basis; DERIVE coef : maths_function := SELF\unary_generic_expression.operand; WHERE WR1: function_is_table(coef); WR2: (space_dimension(coef.range) = 1) AND (number_superspace_of(factor1(coef.range)) = the_reals); WR3: SIZEOF (basis) <= SIZEOF (shape_of_array(coef)); WR4: compare_basis_and_coef(basis, coef); END_ENTITY; -- b_spline_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; b_spline_function (RT) operand: maths_function; basis: LIST [1:?] OF b_spline_basis; (DER) coef: maths_function; |
Global rules for this entity data type- |