Crate threshold[−][src]
Re-exports
pub use crate::clock::AEClock; |
pub use crate::clock::ARClock; |
pub use crate::clock::BEClock; |
pub use crate::clock::Clock; |
pub use crate::clock::VClock; |
pub use crate::multiset::MultiSet; |
pub use crate::tclock::TClock; |
Modules
clock | This module contains an implementation of a vector clock. |
multiset | This module contains an implementation of a multi-set supporting a threshold operation. |
tclock | This module contains an implementation of a threshold clock. |
Structs
AboveExSet | |
AboveRangeSet | |
BelowExSet | |
MaxSet |
Traits
Actor | Actor trait to be used in |
Count | Count trait to be used in |
EventSet | EventSet trait to be implemented by |
Functions
subtract_iter |