RULE compatible_dimension

(* 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;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00