|
ENTITY Function_value_pair; function_value : Probability_function_value; variable_value : Random_variable; END_ENTITY; -- Function_value_pair |
Entity data types and their attributesFunction_value_pairfunction_value: Probability_function_value; variable_value: Random_variable; |
UsersFunction_value_pairValue_function.function_element |
Global rules for this entity data type- |