From fc5c6ff4c13c4fecdab90646c9d8cdd4c1a799fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= Date: Sun, 5 Nov 2023 14:48:24 +0800 Subject: [PATCH] Fix bad index in 'zdd_disjoint' path pruning This mistake was introduced in the refactoring of 18c3619 . As such, it does not produce incorrect answers. But, it does make it slower that it truly needs to be. --- src/adiar/zdd/pred.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/adiar/zdd/pred.cpp b/src/adiar/zdd/pred.cpp index e9f67a643..a8b63a13c 100644 --- a/src/adiar/zdd/pred.cpp +++ b/src/adiar/zdd/pred.cpp @@ -237,7 +237,7 @@ namespace adiar } // Has the right-hand side fallen out of its set? - if (rp[0].is_false()) { + if (rp[1].is_false()) { return false; }