top property

  1. @override
IntervalDomain get top
override

Returns the top element (⊤).

Implementation

@override
IntervalDomain get top => topValue;