Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Equal.main
Namespace http://ruleml.org/spec
Annotations
The main section of equations contains a pair of edges, a left-hand side
edge and a right-hand side edge.
Diagram
Used by
Complex Type ruleml:Equal.type.def
Model
Children ruleml:left, ruleml:right
Source
<xs:group name="Equal.main">
  <xs:annotation>
    <xs:documentation>The main section of equations contains a pair of edges, a left-hand side edge and a right-hand side edge.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group ref="ruleml:leftSide-edge.choice"/>
    <xs:group ref="ruleml:rightSide-edge.choice"/>
  </xs:sequence>
</xs:group>