List of all items

Structs

• ClockInterval
• SystemClock
• VirtualClock
• model::AdvanceResult
• model::ClockModel
• model::IntervalModel
• model::IntervalTick
• model::WakeModel

Traits

• Clock

Functions

• interval
• model::add_nonnegative_saturating
• model::law_add_nonnegative_saturating_matches_addition_without_overflow
• model::law_add_nonnegative_saturating_never_decreases_left_operand
• model::law_add_nonnegative_saturating_normalizes_negative_increment
• model::law_add_nonnegative_saturating_saturates_on_overflow
• model::law_advance_to_never_moves_time_backward
• model::law_advance_to_reaches_forward_target
• model::law_first_interval_tick_stays_on_grid
• model::law_interval_tick_realigns_past_observed_now
• model::law_mul_nonnegative_saturating_is_commutative
• model::law_mul_nonnegative_saturating_matches_multiplication_without_overflow
• model::law_mul_nonnegative_saturating_normalizes_negative_operands
• model::law_mul_nonnegative_saturating_saturates_on_overflow
• model::law_sleep_due_iff_deadline_not_after_now
• model::law_wake_order_is_deadline_then_sequence
• model::mul_nonnegative_saturating