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
39
40
41
42
43
44
45
46
47

mod forward;
mod backward;

use crate::{Timestamp, Timestamped, TimeValue};


#[derive(Copy, Clone)]
pub struct TimeSeqForward {
    t: Timestamp, // last emitted
    step: TimeValue
}

#[derive(Copy, Clone)]
pub struct TimeSeqBackward {
    t: Timestamp, // last emitted
    step: TimeValue
}

pub trait TimeSequence: Timestamped
{
    fn new<T:Timestamped>(t: T, delta: TimeValue) -> Self;
    fn reverse(self) -> impl TimeSequence;
    fn increment(&self) -> TimeValue;
    fn period(&self) -> TimeValue;
    fn len(&self) -> usize;
}

impl Timestamp {

    pub fn forward_sequence(self, period: TimeValue) -> TimeSeqForward {
        TimeSeqForward::new(self, period)
    }

    pub fn forward_periods(self, period: TimeValue) -> TimeSeqForward {
        TimeSeqForward::new(self.ceil(period), period)
    }

    pub fn backward_sequence(self, period: TimeValue) -> TimeSeqBackward {
        TimeSeqBackward::new(self, period)
    }

    pub fn backward_periods(self, period: TimeValue) -> TimeSeqBackward {
        TimeSeqBackward::new(self.ceil(period), period)
    }
}