|
ENTITY finite_function SUBTYPE OF (maths_function, generic_literal); pairs : SET [1:?] OF LIST [2:2] OF maths_value; WHERE WR1: VALUE_UNIQUE(list_selected_components(pairs, 1)); END_ENTITY; -- finite_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; simple_generic_expression - generic_literal - finite_function pairs: SET [1:?] OF LIST [2:2] OF maths_value; |
Global rules for this entity data type- |