Showing:

Attributes
Diagrams
Facets
Instances
Model
Properties
Source
Used by
Element spec:Equal
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Model
Children spec:degree, spec:left, spec:meta, spec:right
Instance
<spec:Equal xml:base="" xml:id="" node="" oriented="" xmlns:spec="http://ruleml.org/spec">
  <spec:meta xml:base="" xml:id="">{0,unbounded}</spec:meta>
  <spec:degree xml:base="" xml:id="">{0,1}</spec:degree>
  <spec:left xml:base="" xml:id="">{1,1}</spec:left>
  <spec:right xml:base="" xml:id="">{1,1}</spec:right>
</spec:Equal>
Attributes
QName Type Use
node xs:anyURI optional
oriented restriction of xs:token required
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="Equal">
  <xs:complexType>
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" ref="spec:meta"/>
      <xs:element minOccurs="0" ref="spec:degree"/>
      <xs:element ref="spec:left"/>
      <xs:element ref="spec:right"/>
    </xs:sequence>
    <xs:attribute name="oriented" use="required">
      <xs:simpleType>
        <xs:restriction base="xs:token">
          <xs:enumeration value="no"/>
          <xs:enumeration value="yes"/>
        </xs:restriction>
      </xs:simpleType>
    </xs:attribute>
    <xs:attribute name="node" type="xs:anyURI"/>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Attribute spec:Equal / @oriented
Namespace No namespace
Type restriction of xs:token
Properties
use required
Facets
enumeration no
enumeration yes
Used by
Element spec:Equal
Source
<xs:attribute name="oriented" use="required">
  <xs:simpleType>
    <xs:restriction base="xs:token">
      <xs:enumeration value="no"/>
      <xs:enumeration value="yes"/>
    </xs:restriction>
  </xs:simpleType>
</xs:attribute>
Attribute spec:Equal / @node
Namespace No namespace
Type xs:anyURI
Properties
content simple
Used by
Element spec:Equal
Source
<xs:attribute name="node" type="xs:anyURI"/>