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

Implement the data structure #1

Open
2 of 4 tasks
jeltsch opened this issue Feb 9, 2021 · 0 comments · May be fixed by #2
Open
2 of 4 tasks

Implement the data structure #1

jeltsch opened this issue Feb 9, 2021 · 0 comments · May be fixed by #2
Assignees
@jeltsch
Labels
type: enhancement

Comments

@jeltsch
Copy link
Owner

jeltsch commented Feb 9, 2021 •
edited
Loading

We have to specify the data structure used to represent total orders and ongoing relabeling processes associated with them. In addition to defining respective data types, we have to define basic operations on them and prove key properties of those operations.

In particular, we need support for the following kinds of data:

  • Element labelings
  • Supertrees
  • Relabeling states
  • States
@jeltsch jeltsch self-assigned this Feb 9, 2021
@jeltsch jeltsch linked a pull request Feb 9, 2021 that will close this issue
Draft
@jeltsch jeltsch changed the title Add support for core data structures Implement the data structure Mar 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jeltsch jeltsch

Labels
type: enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implement the data structure jeltsch/order-maintenance-correctness
1 participant
@jeltsch