[][src]Crate threshold

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 Clock's or TClock's.

Count

Count trait to be used in MultiSet.

EventSet

EventSet trait to be implemented by MaxSet, BelowExSet and AboveExSet.

Functions

subtract_iter