Module static_interval_order 

This module implements a static order on intervals

A static order on intervals is a fixed order on intervals, which defines which interval borders are equal and the relative order among interval borders.

Modules

simple_order_generator 🔒

This module contains the implementation of the interval boundary ordering algorithm. To generate all possible interval boundary orders that are satisfiable, create an SimpleOrderGeneratorContext and extend it with the interval boundaries of the individual variables.

Structs

StaticIntervalOrder

Static order on intervals implementing IntervalOrder for variables and sums of variables

StaticIntervalOrderBuilder

Builder for generating static interval orders

Traits

DefinesStaticIntervalOrder 🔒

Types implementing this trait define a static order on intervals that associates every interval with an index for each variable