@eagleoutice/flowr - v2.13.14
Preparing search index...
src/abstract-interpretation/domains/positive-interval-domain
PosIntervalTop
Type Alias PosIntervalTop
PosIntervalTop
:
typeof
PosIntervalTop
The type of the Top element of the positive interval domain as interval [0, +∞]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@eagleoutice/flowr - v2.13.14
Loading...
The type of the Top element of the positive interval domain as interval [0, +∞]