RULE presentation_style_by_context_constraint

(* SCHEMA explicit_draughting; *)

  RULE presentation_style_by_context_constraint FOR
    (presentation_style_by_context);
  WHERE
    WR1: SIZEOF (QUERY (psbc <* presentation_style_by_context |
         NOT ('EXPLICIT_DRAUGHTING.PRESENTATION_VIEW'
              IN TYPEOF (psbc.style_context)
         )))=0;
  END_RULE;

[Top Level Definitions] [Exit]

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