use fxhash::FxHashMap as HashMap;
use index_vec::{Idx, IndexVec};
use std::fmt;
use crate::IndexedValue;
pub struct IndexedDomain<T: IndexedValue> {
domain: IndexVec<T::Index, T>,
reverse_map: HashMap<T, T::Index>,
}
impl<T: IndexedValue> IndexedDomain<T> {
#[inline]
pub fn new(domain: IndexVec<T::Index, T>) -> Self {
let reverse_map = domain
.iter_enumerated()
.map(|(idx, value)| (value.clone(), idx))
.collect();
IndexedDomain {
domain,
reverse_map,
}
}
#[inline]
pub fn value(&self, index: T::Index) -> &T {
&self.domain[index]
}
#[inline]
pub fn index(&self, value: &T) -> T::Index {
self.reverse_map[value]
}
#[inline]
pub fn contains(&self, value: &T) -> bool {
self.reverse_map.contains_key(value)
}
#[inline]
pub fn insert(&mut self, value: T) -> T::Index {
self.domain.push(value)
}
#[inline]
pub fn as_vec(&self) -> &IndexVec<T::Index, T> {
&self.domain
}
#[inline]
pub fn len(&self) -> usize {
self.domain.len()
}
#[inline]
pub fn is_empty(&self) -> bool {
self.len() == 0
}
#[inline]
pub fn ensure(&mut self, value: &T) -> T::Index {
if !self.contains(value) {
self.insert(value.clone())
} else {
self.index(value)
}
}
#[inline]
pub fn iter(&self) -> impl Iterator<Item = &T> + '_ {
self.domain.iter()
}
#[inline]
pub fn indices(&self) -> impl Iterator<Item = T::Index> {
(0..self.domain.len()).map(T::Index::from_usize)
}
#[inline]
pub fn iter_enumerated(&self) -> impl Iterator<Item = (T::Index, &T)> + '_ {
self.domain.iter_enumerated()
}
}
impl<T: IndexedValue> FromIterator<T> for IndexedDomain<T> {
fn from_iter<Iter: IntoIterator<Item = T>>(iter: Iter) -> Self {
let domain = iter.into_iter().collect();
IndexedDomain::new(domain)
}
}
impl<T: IndexedValue + fmt::Debug> fmt::Debug for IndexedDomain<T> {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(f, "{:?}", self.domain)
}
}
#[test]
fn test_domain() {
fn mk(s: &str) -> String {
s.to_string()
}
let d = IndexedDomain::from_iter([mk("a"), mk("b")]);
let a = d.index(&mk("a"));
let b = d.index(&mk("b"));
assert_eq!(d.value(a), "a");
assert_eq!(d.value(b), "b");
assert!(d.contains(&mk("a")));
assert!(!d.contains(&mk("c")));
assert_eq!(d.len(), 2);
}