bottomValue constant

IntervalDomain const bottomValue

Bottom element (empty interval).

Implementation

static const IntervalDomain bottomValue = IntervalDomain._bottom();