int-intervals 0.1.2

Closed-open integer interval algebra, canonical interval sets, and overlap-stack structures.
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

use core::num::NonZeroUsize;

use super::*;

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct HeightSegment<I>
where
    I: IntCO,
{
    /// Closed-open interval on which the positive stack height is constant.
    pub interval: I,

    /// Positive stack height throughout `interval`.
    pub height: NonZeroUsize,
}

impl<I> From<HeightSegment<I>> for HeightRun<I>
where
    I: IntCO,
{
    #[inline]
    fn from(segment: HeightSegment<I>) -> Self {
        Self {
            interval: segment.interval,
            height: segment.height.get(),
        }
    }
}