minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

extern crate alloc;

use super::super::super::support::dot;
use crate::metis::DotSet;

mod framing;
mod layout;
mod runs;
mod stations;

/// Builds a have-set by inserting every `(station, dot)` in order.
fn have(dots: &[(u32, u64)]) -> DotSet {
    let mut set = DotSet::new();
    for &(station, counter) in dots {
        let _ = set.insert(dot(station, counter));
    }
    set
}