static IntervalDomain finite()

in include/IntervalDomain.h [55:60]

• 6 lines of code
• 4 McCabe index (conditional complexity)

  static IntervalDomain finite(Num lb, Num ub) {
    assert(MIN < lb && "interval not bounded below.");
    assert(lb <= ub && "interval inverted.");
    assert(ub < MAX && "interval not bounded above.");
    return {lb, ub};
  }