Showing:

Annotations
Attributes
Diagrams
Source
Used by
Attribute Group ruleml:Equal-datt.choice
Namespace http://ruleml.org/spec
Annotations
equations have orientation as an attribute.
Diagram
Used by
Complex Type ruleml:Equal.type.def
Attributes
QName Type Use Annotation
oriented ruleml:oriented.value optional
An attribute indicating whether an equation (<Equal>) is oriented (directed)
or unoriented (symmetric).        See
http://deliberation.ruleml.org/1.02/glossary/.40oriented
Source
<xs:attributeGroup name="Equal-datt.choice">
  <xs:annotation>
    <xs:documentation>equations have orientation as an attribute.</xs:documentation>
  </xs:annotation>
  <xs:attributeGroup ref="ruleml:oriented-att-inf.choice"/>
</xs:attributeGroup>