Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:operatorForAtoms-edge.choice
Namespace http://ruleml.org/spec
Annotations
an extension point for stripe skipping as well as specializations of the
operator tag name in atomic formulas.
Diagram
Used by
Element Group ruleml:Atom.main
Model
Children ruleml:op
Source
<xs:group name="operatorForAtoms-edge.choice">
  <xs:annotation>
    <xs:documentation>an extension point for stripe skipping as well as specializations of the operator tag name in atomic formulas.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:element ref="ruleml:op"/>
  </xs:sequence>
</xs:group>