Expand description
A simple discrete time model with type-safe wrappers
The analyses and definitions provided in this module are based on a simple discrete time model with a least, indivisible unit of time (e.g., a processor cycle).
To avoid accidental confusion of offsets, durations, and intervals, some type-safe wrappers are provided.
Structs§
- Duration
- Type-safe alias for time values representing an interval length.
- Offset
- Type-safe alias for time value representing an offset.
- Service
- Type-safe alias for time values representing some amount of processor service.
Type Aliases§
- Time
- This library uses a simple discrete time model.