|
ENTITY rationalize_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; DERIVE fun : maths_function := SELF\unary_generic_expression.operand; WHERE WR1: (space_dimension(fun.domain) = 1) AND (space_dimension(fun.range) = 1); WR2: number_tuple_subspace_check(factor1(fun.range)); WR3: space_dimension(factor1(fun.range)) > 1; END_ENTITY; -- rationalize_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; rationalize_function (RT) operand: maths_function; (DER) fun: maths_function; |
Global rules for this entity data type- |