Skip to content

Possible positional freedom of xsd might be more than is implemented #80

Description

@rimachaudhari

#79

https://github.com/RuleML/deliberation-ruleml/blob/1.03-psoa/relaxng/modules/unordered_deterministic_groups_expansion_module.rnc

argumentsForAtoms.sequence |=
  slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence,
  (((termsForAtoms.nonemptysequence.choice, repo?) | repo),
   slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence)?,
  resl?

could become

argumentsForAtoms.sequence |=
  (slotdepTermsForAtoms.sequence & slotTermsForAtoms.sequence),
  (((termsForAtoms.nonemptysequence.choice, repo?) | repo),
   (slotdepTermsForAtoms.sequence & slotTermsForAtoms.sequence))?,
  resl?

and similarly for Expr.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions