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- |
public interface EB_spline_basis extends EMaths_function, EGeneric_literaldegree (explicit attribute)boolean testDegree(EB_spline_basis type)int getDegree(EB_spline_basis type) void setDegree(EB_spline_basis type, int value) void unsetDegree(EB_spline_basis type) repeated_knots (explicit attribute)boolean testRepeated_knots(EB_spline_basis type)A_double getRepeated_knots(EB_spline_basis type) A_double createRepeated_knots(EB_spline_basis type) void unsetRepeated_knots(EB_spline_basis type) order (derived attribute)int getOrder(EB_spline_basis type)boolean testOrder(EB_spline_basis type) num_basis (derived attribute)int getNum_basis(EB_spline_basis type)boolean testNum_basis(EB_spline_basis type) |
public class CB_spline_basis implements EB_spline_basisstatic EAttribute attributeDegree(EB_spline_basis type)static EAttribute attributeRepeated_knots(EB_spline_basis type) static EAttribute attributeOrder(EB_spline_basis type) static EAttribute attributeNum_basis(EB_spline_basis type) |
public class AB_spline_basis extends AEntitypublic EB_spline_basis getByIndex(int index)public EB_spline_basis getCurrentMember(SdaiIterator it) |