|
ENTITY volume_2d_element_boundary_edge_location_point_volume_variable_values SUBTYPE OF (volume_2d_element_field_variable_definition); basis : BOOLEAN; values_and_locations : SET [1:?] OF volume_2d_element_value_and_location; variable : boundary_edge_variable; element_edge : volume_2d_edge; 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_2d_element_boundary_edge_location_point_volume_variable_values |
Entity data types and their attributesstate_definitiondefined_state: state; field_variable_definition - field_variable_element_definition - volume_2d_element_field_variable_definition element: volume_2d_element_output_reference; volume_2d_element_boundary_edge_location_point_volume_variable_values basis: BOOLEAN; values_and_locations: SET [1:?] OF volume_2d_element_value_and_location; variable: boundary_edge_variable; element_edge: volume_2d_edge; |
Global rules for this entity data type- |