@eagleoutice/flowr - v2.13.14

Preparing search index...

src/abstract-interpretation/domains/positive-interval-domain
PosIntervalTop

Variable PosIntervalTop`Const`

PosIntervalTop: PosIntervalValue = ...

The Top element of the positive interval domain as interval [0, +∞]

Defined in src/abstract-interpretation/domains/positive-interval-domain.ts:6
Defined in src/abstract-interpretation/domains/positive-interval-domain.ts:11

Settings

Member Visibility

Protected
Inherited
External

Theme

@eagleoutice/flowr - v2.13.14

Loading...

Generated using TypeDoc