From a7a999a240382e4198be36f7a252a9a2318141f1 Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Thu, 18 Jan 2024 16:33:36 -0800 Subject: [PATCH] Fix off by one error in invariant --- ConflictSet.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ConflictSet.cpp b/ConflictSet.cpp index fb967bd..248fb10 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -27,7 +27,7 @@ namespace { // 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 // 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) // 3. Max invariant: `maxVersion` is the max among all values of `pointVersion` // and `beyondVersion` for this node and its children (transitively)