From 18948a96bed022c60e4d325b72059db577513a9e Mon Sep 17 00:00:00 2001
From: philipp <philipp@lrde.epita.fr>
Date: Fri, 6 Aug 2021 13:06:25 +0200
Subject: [PATCH] Adding bdd_is_cube for python

* python/buddy.i: Here
---
 python/buddy.i | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/buddy.i b/python/buddy.i
index b0068dfaa..6d5c11f1c 100644
--- a/python/buddy.i
+++ b/python/buddy.i
@@ -189,6 +189,7 @@ int bdd_nodecount(const bdd &r);
 int* bdd_varprofile(const bdd &r);
 double bdd_pathcount(const bdd &r);
 int bdd_have_common_assignment(const bdd &l, const bdd &r);
+int bdd_is_cube(const bdd &b);
 void bdd_fprinttable(FILE *file, const bdd &r);
 void bdd_printtable(const bdd &r);
 void bdd_fprintset(FILE *file, const bdd &r);