RULE dimensionality_is_two

(* SCHEMA explicit_draughting; *)

  RULE dimensionality_is_two FOR (geometric_representation_context);
  WHERE
    WR1: SIZEOF (QUERY (g <* geometric_representation_context |
                 NOT ((g.coordinate_space_dimension = 2)
                )))=0;
  END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:03-04:00