|
ENTITY curve_3d_element_location_point_volume_variable_values SUBTYPE OF (curve_3d_element_field_variable_definition); basis : BOOLEAN; values_and_locations : SET [1:?] OF curve_3d_element_value_and_volume_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; -- curve_3d_element_location_point_volume_variable_values |
Entity data types and their attributesstate_definitiondefined_state: state; field_variable_definition - field_variable_element_definition - curve_3d_element_field_variable_definition element: curve_3d_element_output_reference; curve_3d_element_location_point_volume_variable_values basis: BOOLEAN; values_and_locations: SET [1:?] OF curve_3d_element_value_and_volume_location; variable: volume_variable; |
Global rules for this entity data type- |