|
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- |
public interface EB_spline_function extends EMaths_function, EUnary_generic_expressionbasis (explicit attribute)boolean testBasis(EB_spline_function type)AB_spline_basis getBasis(EB_spline_function type) AB_spline_basis createBasis(EB_spline_function type) void unsetBasis(EB_spline_function type) coef (derived attribute)EMaths_function getCoef(EB_spline_function type)boolean testCoef(EB_spline_function type) |
public class CB_spline_function implements EB_spline_functionstatic EAttribute attributeBasis(EB_spline_function type)static int usedinBasis(EB_spline_function type, EB_spline_basis instance, ASdaiModel domain, AB_spline_function result) static EAttribute attributeCoef(EB_spline_function type) static int usedinCoef(EB_spline_function type, EMaths_function instance, ASdaiModel domain, AB_spline_function result) |
public class AB_spline_function extends AEntitypublic EB_spline_function getByIndex(int index)public EB_spline_function getCurrentMember(SdaiIterator it) |