IntervalDomain.constant constructor

IntervalDomain.constant(
  1. int value
)

Creates an interval from a single constant.

Implementation

factory IntervalDomain.constant(int value) => IntervalDomain(value, value);