weaselab/conflict-set
2
0
Fork 0
Code Issues 4 Packages Releases 13 Activity

Fix off by one error in invariant

Browse Source
This commit is contained in:
Andrew Noyes
2024-01-18 16:33:36 -08:00
parent dff976ec0a
commit a7a999a240
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ConflictSet.cpp
View File

@@ -27,7 +27,7 @@ namespace {
// 1. BST invariant: all keys in the tree rooted at the left child of a node // 1. BST invariant: all keys in the tree rooted at the left child of a node
// compare less than that node's key, and all keys in the tree rooted at the // compare less than that node's key, and all keys in the tree rooted at the
// right child of a node compare greater than that node's key. // right child of a node compare greater than that node's key.
// 2. Heap invariant: the priority of a node is greater than all the priorities // 2. Heap invariant: the priority of a node is >= all the priorities
// of its children (transitively) // of its children (transitively)
// 3. Max invariant: `maxVersion` is the max among all values of `pointVersion` // 3. Max invariant: `maxVersion` is the max among all values of `pointVersion`
// and `beyondVersion` for this node and its children (transitively) // and `beyondVersion` for this node and its children (transitively)