Class KIntervalDomain


public class KIntervalDomain extends KBranchingScheme
Branching scheme for splitting float variables into a set of intervals.

This branching scheme split the domain of a float variable into interval
of length `gap`. If the boolean `order` is false, then interval are
created in ascending order (descending order otherwise).

For an initial domain [l, u], the created sub-domains will be:
- In ascending order: [l + (k-1) * gap, min(l + k * gap, u)] for k=1,...,ceil((u-l)/gap)
- In descending order: [u - k * gap, max(u - (k-1) * gap, l)] for k=1,...,ceil((u-l)/gap)

See Also: