wavl/python
1
0
Fork 0
Code Issues Pull requests Projects 1 Releases 1 Wiki Activity
No description
37 commits 2 branches 1 tag 74 KiB
Python 99%
Makefile 1%
Find a file
Matej Focko e28f578fc2
fix(rotations): move rotations to the tree 
Move rotations to the RankedTree, which allows us to factor out the
functionality regarding rotations when root of the tree changes.

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-05-22 21:00:18 +02:00
.vscode Add python implementation and tests 2021-01-04 10:46:12 +01:00
.gitignore chore: add gitignore 2022-01-30 14:41:34 +01:00
avl.py fix(rotations): move rotations to the tree 2022-05-22 21:00:18 +02:00
comparator.py fix(comparator): propagate similarity 2022-05-07 15:38:44 +02:00
comparator_usage.py feat: add example usage of comparator 2022-05-07 15:42:06 +02:00
DCO chore: add license and agreement 2022-05-18 13:40:44 +02:00
LICENSE chore: add license and agreement 2022-05-18 13:40:44 +02:00
Makefile chore: add clean to makefile targets 2022-05-16 00:26:49 +02:00
node.py fix(rotations): move rotations to the tree 2022-05-22 21:00:18 +02:00
Pipfile Add python implementation and tests 2021-01-04 10:46:12 +01:00
Pipfile.lock Add python implementation and tests 2021-01-04 10:46:12 +01:00
ranked_tree.py fix(rotations): move rotations to the tree 2022-05-22 21:00:18 +02:00
ravl.py ravl: add ravl tree 2022-01-30 15:03:59 +01:00
rbt.py fix(rotations): move rotations to the tree 2022-05-22 21:00:18 +02:00
README.md chore: add readme 2022-05-18 22:30:41 +02:00
test_avl.py chore(flake): fix flake remarks 2022-05-20 11:50:08 +02:00
test_generate.py feat: factor out property based tests 2022-05-18 13:39:54 +02:00
test_node.py chore: update tests and add avl tests 2022-01-30 15:04:08 +01:00
test_properties.py feat(rb): add mockup 2022-05-20 11:50:56 +02:00
test_ravl.py chore(flake): fix flake remarks 2022-05-20 11:50:08 +02:00
test_rbt.py feat(rbt): finish delete 2022-05-20 12:02:52 +02:00
test_wavl.py feat: factor out property based tests 2022-05-18 13:39:54 +02:00
wavl.py fix(rotations): move rotations to the tree 2022-05-22 21:00:18 +02:00

README.md

WAVL Tree Implementation

Used dependencies

Dependencies are used mainly in tests, namely:

  • hypothesis
  • pytest

Running tests

When finding a counter-example, hypothesis may generate a lot of DOT files with generated trees.