rational_b_spline_volume

EXPRESS specification:

ENTITY rational_b_spline_volume
SUBTYPE OF ( | b_spline_volume);
weights_data | : | LIST [2:?] OF LIST [2:?] OF LIST [2:?] OF REAL;
DERIVE
weights | : | ARRAY [0:100] OF ARRAY [0:100] OF ARRAY [0:100] OF REAL := make_array_of_array_of_array (weights_data,0,u_upper,0,v_upper,0,w_upper);
WHERE
WRR53 | : | (SIZEOF(weights_data) = SIZEOF(SELF\b_spline_volume.control_points_list)) AND (SIZEOF(weights_data[1]) = SIZEOF(SELF\b_spline_volume.control_points_list[1])) AND (SIZEOF(weights_data[1][1]) = SIZEOF(SELF\b_spline_volume.control_points_list[1][1]));
WRR54 | : | volume_weights_positive(SELF);
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
b_spline_volume | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY rational_b_spline_volume;
ENTITY representation_item;
name | : | label;
ENTITY geometric_representation_item;
DERIVE
dim | : | dimension_count := dimension_of(SELF);
ENTITY volume;
ENTITY b_spline_volume;
u_degree | : | INTEGER;
v_degree | : | INTEGER;
w_degree | : | INTEGER;
control_points_list | : | LIST [2:?] OF LIST [2:?] OF LIST [2:?] OF cartesian_point;
DERIVE
u_upper | : | INTEGER := SIZEOF(control_points_list) - 1;
v_upper | : | INTEGER := SIZEOF(control_points_list[1]) - 1;
w_upper | : | INTEGER := SIZEOF(control_points_list[1][1]) - 1;
control_points | : | ARRAY [0:100] OF ARRAY [0:100] OF ARRAY [0:100] OF cartesian_point := make_array_of_array_of_array (control_points_list,0,u_upper,0,v_upper,0,w_upper );
ENTITY rational_b_spline_volume;
weights_data | : | LIST [2:?] OF LIST [2:?] OF LIST [2:?] OF REAL;
DERIVE
weights | : | ARRAY [0:100] OF ARRAY [0:100] OF ARRAY [0:100] OF REAL := make_array_of_array_of_array (weights_data,0,u_upper,0,v_upper,0,w_upper);
END_ENTITY;