mlsub 0.1.0

Template.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

use std::iter::Copied;
use std::slice;

use small_ord_set::SmallOrdSet;

use crate::auto::state::StateId;

/// A non-empty set of states, optimized for the common case where only one state is in the set.
#[derive(Debug, Clone, Eq, PartialEq)]
pub struct StateSet {
    set: SmallOrdSet<[StateId; 1]>,
}

impl StateSet {
    pub fn new(id: StateId) -> Self {
        StateSet {
            set: SmallOrdSet::from_buf([id]),
        }
    }

    pub fn insert(&mut self, id: StateId) -> bool {
        self.set.insert(id)
    }

    pub fn union(&mut self, other: &Self) {
        self.set.extend(other)
    }

    pub fn iter(&self) -> Copied<slice::Iter<StateId>> {
        self.set.iter().copied()
    }

    pub(crate) fn shift(self, offset: u32) -> Self {
        StateSet {
            set: self.set.into_iter().map(|id| id.shift(offset)).collect(),
        }
    }

    pub(crate) fn unwrap_reduced(&self) -> StateId {
        debug_assert_eq!(self.set.len(), 1);
        self.set[0]
    }
}

impl<'a> IntoIterator for &'a StateSet {
    type IntoIter = Copied<slice::Iter<'a, StateId>>;
    type Item = StateId;

    fn into_iter(self) -> Self::IntoIter {
        self.iter()
    }
}