|
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) |