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§
Traits§
- Actor
- Actor trait to be used in
Clock’s orTClock’s. - Count
- Count trait to be used in
MultiSet. - Event
Set - EventSet trait to be implemented by
MaxSet,BelowExSetandAboveExSet.