Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Float
Interval - A closed floating-point interval
[lo, hi]with outward-rounded arithmetic. - Interval
Scheduler - Weighted interval scheduling solver using dynamic programming.
- Krawczyk
Solver - A simple Krawczyk-method interval root solver.
- Range
MinSeg Tree - A segment tree for range-minimum queries over a fixed array.
- Scheduled
Job - A job for interval scheduling, defined by a start time, finish time, and weight.
- Validated
Interval - A validated interval: a
FloatIntervaltogether with a proof obligation tag.