From b1c17da75f01358b41538278435c10ce1446124a Mon Sep 17 00:00:00 2001 From: Michael Sippel Date: Sun, 26 Nov 2023 22:16:49 +0100 Subject: [PATCH] remove bimap (no longer needed since it is in lib-laddertypes now) --- lib-nested-core/src/utils/bimap.rs | 24 ------------------------ lib-nested-core/src/utils/mod.rs | 3 --- 2 files changed, 27 deletions(-) delete mode 100644 lib-nested-core/src/utils/bimap.rs diff --git a/lib-nested-core/src/utils/bimap.rs b/lib-nested-core/src/utils/bimap.rs deleted file mode 100644 index 8bd41b6..0000000 --- a/lib-nested-core/src/utils/bimap.rs +++ /dev/null @@ -1,24 +0,0 @@ -use std::{collections::HashMap, hash::Hash}; - -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> - -pub struct Bimap { - pub mλ: HashMap, - pub my: HashMap<Λ, V>, -} - -impl Bimap { - pub fn new() -> Self { - Bimap { - mλ: HashMap::new(), - my: HashMap::new(), - } - } - - pub fn insert(&mut self, y: V, λ: Λ) { - self.mλ.insert(y.clone(), λ.clone()); - self.my.insert(λ, y); - } -} - -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> diff --git a/lib-nested-core/src/utils/mod.rs b/lib-nested-core/src/utils/mod.rs index 8e8f5dd..f97b6e5 100644 --- a/lib-nested-core/src/utils/mod.rs +++ b/lib-nested-core/src/utils/mod.rs @@ -1,5 +1,2 @@ -pub mod bimap; pub mod modulo; - pub use modulo::modulo; -pub use bimap::Bimap;