|
ENTITY constant_function SUBTYPE OF (maths_function, generic_literal); sole_output : maths_value; source_of_domain : maths_space_or_function; WHERE WR1: no_cyclic_domain_reference(source_of_domain, [SELF]); WR2: expression_is_constant(domain_from(source_of_domain)); END_ENTITY; -- constant_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; simple_generic_expression - generic_literal - constant_function sole_output: maths_value; source_of_domain: maths_space_or_function; |
Global rules for this entity data type- |