Showing:

Annotations
Attributes
Diagrams
Properties
Source
Used by
Attribute ruleml:closure-att.choice / @closure
Namespace No namespace
Annotations
An attribute indicating how the contained free variables are quantified.
Allowed values are "universal" and "existential". See
http://deliberation.ruleml.org/1.02/glossary/.40closure
Type ruleml:closure.value
Properties
content simple
Used by
Attribute Group ruleml:closure-att.choice
Source
<xs:attribute name="closure" type="ruleml:closure.value">
  <xs:annotation>
    <xs:documentation>An attribute indicating how the contained free variables are quantified. Allowed values are "universal" and "existential". See http://deliberation.ruleml.org/1.02/glossary/.40closure</xs:documentation>
  </xs:annotation>
</xs:attribute>
Attribute Group ruleml:closure-att.choice
Namespace http://ruleml.org/spec
Annotations
an extension point for specializations of the implicit closure attribute
name.
Diagram
Used by
Attributes
QName Type Use Annotation
closure ruleml:closure.value optional
An attribute indicating how the contained free variables are quantified.
Allowed values are "universal" and "existential". See
http://deliberation.ruleml.org/1.02/glossary/.40closure
Source
<xs:attributeGroup name="closure-att.choice">
  <xs:annotation>
    <xs:documentation>an extension point for specializations of the implicit closure attribute name.</xs:documentation>
  </xs:annotation>
  <xs:attribute name="closure" type="ruleml:closure.value">
    <xs:annotation>
      <xs:documentation>An attribute indicating how the contained free variables are quantified. Allowed values are "universal" and "existential". See http://deliberation.ruleml.org/1.02/glossary/.40closure</xs:documentation>
    </xs:annotation>
  </xs:attribute>
</xs:attributeGroup>