IntervalDomain.arrayIndex constructor

IntervalDomain.arrayIndex(
  1. int length
)

Creates an interval 0, n-1 for array indices.

Implementation

factory IntervalDomain.arrayIndex(int length) =>
    IntervalDomain(0, length - 1);