Structs§
- Builder
- A builder for IntersectRanges
- Complete
- The final stage for
IntersectRanges
. - Intersect
Ranges - The FE should try to pass in inputs in the order in which they should be evaluated for optimization’s sake. Alternatively, we can let the user select preconditions which they know to be cheaper to compute, which we will evaluate first.