Add IntoBdd for &Bdd.

sybila · Nov 29, 2023 · b054b67 · b054b67
1 parent 3a60a72
commit b054b67
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/_macro_bdd.rs b/src/_macro_bdd.rs
@@ -44,6 +44,12 @@ impl IntoBdd for Bdd {
     }
 }
 
+impl IntoBdd for &Bdd {
+    fn into_bdd(self, _variables: &BddVariableSet) -> Bdd {
+        self.clone()
+    }
+}
+
 impl IntoBdd for &str {
     fn into_bdd(self, variables: &BddVariableSet) -> Bdd {
         variables.mk_var_by_name(self)