fix(bdd): removed redundant 'static trait bound for literals

sybila · May 10, 2024 · 0e1b9ef · 0e1b9ef
1 parent 7460963
commit 0e1b9ef
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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> {