|
ENTITY b_spline_basis SUBTYPE OF (maths_function, generic_literal); degree : nonnegative_integer; repeated_knots : LIST [2:?] OF REAL; DERIVE order : positive_integer := degree + 1; num_basis : positive_integer := SIZEOF (repeated_knots) - order; WHERE WR1: num_basis >= order; WR2: nondecreasing(repeated_knots); WR3: repeated_knots[order] < repeated_knots[num_basis+1]; END_ENTITY; -- b_spline_basis |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; simple_generic_expression - generic_literal - b_spline_basis degree: nonnegative_integer; repeated_knots: LIST [2:?] OF REAL; (DER) order: positive_integer; (DER) num_basis: positive_integer; |
Global rules for this entity data type- |