bottom property

  1. @override
IntervalDomain get bottom
override

Returns the bottom element (⊥).

Implementation

@override
IntervalDomain get bottom => bottomValue;