(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* Rule Declaration *) RULE compatible_dimension FOR(cartesian_point, direction, representation_context, geometric_representation_context); WHERE WRRC1 : (* ensure that the count of coordinates of each cartesian_point matches the coordinate_space_dimension of each geometric_context in which it is geometrically_founded *) SIZEOF(QUERY(x <* cartesian_point| SIZEOF(QUERY (y <* geometric_representation_context | item_in_context(x,y) AND (HIINDEX(x.coordinates) <> y.coordinate_space_dimension))) > 0 )) =0; WRRC2 : (* ensure that the count of direction_ratios of each direction matches the coordinate_space_dimension of each geometric_context in which it is geometrically_founded *) SIZEOF(QUERY(x <* direction | SIZEOF( QUERY (y <* geometric_representation_context | item_in_context(x,y) AND (HIINDEX(x.direction_ratios) <> y.coordinate_space_dimension))) > 0 )) = 0; END_RULE;
Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00