From 0e1b9ef13a7a633a34708ff0b138e82e3dfb8bc5 Mon Sep 17 00:00:00 2001
From: AurumTheEnd <47597303+aurumtheend@users.noreply.github.com>
Date: Fri, 10 May 2024 15:33:17 +0200
Subject: [PATCH] fix(bdd): removed redundant 'static trait bound for literals

---
 src/bdd/traits/boolean_function.rs | 2 +-
 src/bdd/utils/extend_variables.rs  | 2 +-
 src/bdd/utils/prune_variables.rs   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/bdd/traits/boolean_function.rs b/src/bdd/traits/boolean_function.rs
index 42073a2..e2e9f32 100644
--- a/src/bdd/traits/boolean_function.rs
+++ b/src/bdd/traits/boolean_function.rs
@@ -10,7 +10,7 @@ use std::collections::{BTreeMap, BTreeSet, HashSet};
 use std::fmt::Debug;
 use std::iter::{zip, Zip};
 
-impl<T: Debug + Clone + Ord + 'static> BooleanFunction<T> for Bdd<T> {
+impl<T: Debug + Clone + Ord> BooleanFunction<T> for Bdd<T> {
     type DomainIterator = DomainIterator;
     type RangeIterator = ImageIterator;
     type RelationIterator = Zip<DomainIterator, ImageIterator>;
diff --git a/src/bdd/utils/extend_variables.rs b/src/bdd/utils/extend_variables.rs
index 324802d..a0b4aab 100644
--- a/src/bdd/utils/extend_variables.rs
+++ b/src/bdd/utils/extend_variables.rs
@@ -10,7 +10,7 @@ use std::fmt::Debug;
 ///
 /// As such, it must hold that `new_inputs` is a superset of `bdd.inputs`. Currently, if this
 /// condition is not satisfied, the method will panic.
-pub fn extend_bdd_variables<TLiteral: Debug + Clone + Eq + Ord + 'static>(
+pub fn extend_bdd_variables<TLiteral: Debug + Clone + Eq + Ord>(
     bdd: &Bdd<TLiteral>,
     new_inputs: &[TLiteral],
 ) -> Bdd<TLiteral> {
diff --git a/src/bdd/utils/prune_variables.rs b/src/bdd/utils/prune_variables.rs
index 12ca4a1..2c31b25 100644
--- a/src/bdd/utils/prune_variables.rs
+++ b/src/bdd/utils/prune_variables.rs
@@ -8,7 +8,7 @@ use std::fmt::Debug;
 ///
 /// This expects the `Bdd` to only depend on the variables in `new_inputs`, meaning that
 /// `bdd.essential_inputs` is a subset of `new_inputs`. If this is not satisfied, panic.
-pub fn prune_bdd_variables<TLiteral: Debug + Clone + Eq + Ord + 'static>(
+pub fn prune_bdd_variables<TLiteral: Debug + Clone + Eq + Ord>(
     bdd: &Bdd<TLiteral>,
     new_inputs: &[TLiteral],
 ) -> Bdd<TLiteral> {