|
ENTITY volume_3d_element_location_point_variable_values SUBTYPE OF (volume_3d_element_field_variable_definition); basis : BOOLEAN; values_and_locations : SET [1:?] OF volume_3d_element_value_and_location; variable : volume_variable; WHERE WR1: consistent_set_values (values_and_locations, variable); WR2: appropriate_set_value_existence (values_and_locations, TYPEOF (SELF\state_definition.defined_state)); END_ENTITY; -- volume_3d_element_location_point_variable_values |
Entity data types and their attributesstate_definitiondefined_state: state; field_variable_definition - field_variable_element_definition - volume_3d_element_field_variable_definition element: volume_3d_element_output_reference; volume_3d_element_location_point_variable_values basis: BOOLEAN; values_and_locations: SET [1:?] OF volume_3d_element_value_and_location; variable: volume_variable; |
Global rules for this entity data type- |