From cdf3fce493a3f8c21803fc62705a0a4fee70c579 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <soelvsten@cs.au.dk>
Date: Wed, 27 Sep 2023 17:05:01 -0400
Subject: [PATCH] Fix compilation of example/queens due to breaking changes

---
 example/queens.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/example/queens.cpp b/example/queens.cpp
index 0f6f0519e..22b20147e 100644
--- a/example/queens.cpp
+++ b/example/queens.cpp
@@ -237,7 +237,7 @@ uint64_t n_queens_list(uint64_t N, uint64_t column,
                        std::vector<uint64_t>& partial_assignment,
                        const adiar::bdd& constraints)
 {
-  if (adiar::is_false(constraints)) {
+  if (adiar::bdd_isfalse(constraints)) {
     return 0;
   }
   deepest_column = std::max(deepest_column, column);
@@ -284,7 +284,7 @@ uint64_t n_queens_list(uint64_t N, uint64_t column,
       for (uint64_t c = N-1; c > column; c--) {
         partial_assignment.pop_back();
       }
-    } else if (adiar::is_true(restricted_constraints)) {
+    } else if (adiar::bdd_istrue(restricted_constraints)) {
       n_queens_print_solution(partial_assignment);
       solutions += 1;
     } else {