From 530fb5c4e61650be2eea062704036a11c386f8bc Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler Date: Mon, 8 Jan 2024 11:55:35 +0100 Subject: [PATCH] Fix clippy warnings --- lib/src/obdd/vectorize.rs | 2 +- server/src/double_labeled_graph.rs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/src/obdd/vectorize.rs b/lib/src/obdd/vectorize.rs index 706de46..28dca52 100644 --- a/lib/src/obdd/vectorize.rs +++ b/lib/src/obdd/vectorize.rs @@ -23,5 +23,5 @@ where V: Deserialize<'de>, { let container: Vec<_> = serde::Deserialize::deserialize(des)?; - Ok(T::from_iter(container.into_iter())) + Ok(T::from_iter(container)) } diff --git a/server/src/double_labeled_graph.rs b/server/src/double_labeled_graph.rs index 9f1034e..4171e51 100644 --- a/server/src/double_labeled_graph.rs +++ b/server/src/double_labeled_graph.rs @@ -92,7 +92,7 @@ impl DoubleLabeledGraph { .iter() .enumerate() .filter(|(i, _)| node_indices.contains(i)) - .filter(|(_, node)| !vec![Var::TOP, Var::BOT].contains(&node.var())) + .filter(|(_, node)| [Var::TOP, Var::BOT].contains(&node.var())) .map(|(i, &node)| (i, node.lo().value())) .map(|(i, v)| (i.to_string(), v.to_string())) .collect(); @@ -103,7 +103,7 @@ impl DoubleLabeledGraph { .iter() .enumerate() .filter(|(i, _)| node_indices.contains(i)) - .filter(|(_, node)| !vec![Var::TOP, Var::BOT].contains(&node.var())) + .filter(|(_, node)| [Var::TOP, Var::BOT].contains(&node.var())) .map(|(i, &node)| (i, node.hi().value())) .map(|(i, v)| (i.to_string(), v.to_string())) .collect();