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

use super::super::support::dot;
use crate::metis::{Cut, DotSet};

mod construction_probes;
mod lattice;
mod sources;

fn cut(dots: &[(u32, u64)]) -> Cut {
    let mut have = DotSet::new();
    for &(station, count) in dots {
        for counter in 1..=count {
            let _ = have.insert(dot(station, counter));
        }
    }
    Cut::floor_of(&have)
}