|
ENTITY Odd_function SUBTYPE OF (Unary_boolean_expression); SELF\Unary_generic_expression.operand : Numeric_expression; WHERE WR1: Is_int_expr(SELF\Numeric_expression); END_ENTITY; -- Odd_function |
Entity data types and their attributesGeneric_expression- Expression - Boolean_expression - Unary_generic_expression operand: Generic_expression; Unary_boolean_expression - Odd_function (RT) operand: Numeric_expression; |
Global rules for this entity data type- |