Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Undirected edges should be recorded only once #26

Open
1 task
atilante opened this issue Jun 2, 2022 · 0 comments
Open
1 task

Undirected edges should be recorded only once #26

atilante opened this issue Jun 2, 2022 · 0 comments
Labels
semantics Semantic representations of data structures
Projects
JAAL specification

Comments

@atilante
Copy link

atilante commented Jun 2, 2022

One JAAL requirement states that no redundant data should be recorded. Therefore:

  • Add into doc/jaal-schema-documentation.md: "undirected edges must be recorded in only one direction"

This cannot be verified with JSON schema. Create an issue for programmatic checking of this requirement.
@atilante atilante added the semantics Semantic representations of data structures label Jun 2, 2022
@atilante atilante added this to Backlog in JAAL specification via automation Jun 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
semantics Semantic representations of data structures
Projects
JAAL specification
Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@atilante