chronologic 0.7.12

Time constraint reasoning (scheduling...)
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

use crate::*;

/// # A trait for time containing
pub trait TimeContaining<TW> {
    fn contains(&self, rhs: &TW) -> bool;
}


impl<TW1:TimeConvex,TW2> TimeContaining<TW2> for TW1
    where TW2: TimeBounds<TimePoint=TW1::TimePoint>
{
    #[inline]
    fn contains(&self, rhs: &TW2) -> bool {
        self.lower_bound() <= rhs.lower_bound() && rhs.upper_bound() <= self.upper_bound()
    }
}


impl<T:TimePoint,TW> TimeContaining<TW> for TimeSet<T>
    where TW: TimeConvex<TimePoint=T>
{
    #[inline]
    fn contains(&self, rhs: &TW) -> bool
    {
        self.0.iter()
            .find(|ts| ts.upper_bound() >= rhs.lower_bound())
            .map(|ts| ts.contains(rhs))
            .unwrap_or(false)
    }
}

impl<T:TimePoint> TimeContaining<Self> for TimeSet<T>
{
    fn contains(&self, rhs: &Self) -> bool {
        // todo: optimise it by using order of inner intervals
        rhs.into_iter().all(|tw| self.contains(&tw))
    }
}