@eagleoutice/flowr - v2.13.14

Preparing search index...

src/abstract-interpretation/domains/interval-domain
IntervalTop

Variable IntervalTop`Const`

IntervalTop: IntervalValue = ...

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

Defined in src/abstract-interpretation/domains/interval-domain.ts:8
Defined in src/abstract-interpretation/domains/interval-domain.ts:13

Settings

Member Visibility

Protected
Inherited
External

Theme

@eagleoutice/flowr - v2.13.14

Loading...

Generated using TypeDoc