Fix compilation of example/queens due to breaking changes

SSoelvsten · Sep 28, 2023 · cdf3fce · cdf3fce
1 parent e9f9aba
commit cdf3fce
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 {