threshold/
lib.rs

1// This module contains the definition of `Count`, `Actor` and `EventSet`
2// traits.
3mod traits;
4
5// This module contains implementations of the `EventSet` trait.
6mod set;
7
8// This module contains the implementation of a Clock.
9pub mod clock;
10
11// This module contains the implementation of a Multi Set.
12pub mod multiset;
13
14// This module contains the implementation of Threshold Clock.
15pub mod tclock;
16
17// Top-level re-exports.
18pub use crate::clock::{AEClock, ARClock, BEClock, Clock, VClock};
19pub use crate::multiset::MultiSet;
20pub use crate::set::AboveExSet;
21pub use crate::set::AboveRangeSet;
22pub use crate::set::BelowExSet;
23pub use crate::set::MaxSet;
24pub use crate::tclock::TClock;
25pub use crate::traits::{subtract_iter, Actor, Count, EventSet};
26
27// Tests
28#[cfg(test)]
29mod tests;