@eagleoutice/flowr - v2.13.1

Preparing search index...

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

Type Alias IntervalTop

IntervalTop: typeof IntervalTop

The type of 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

src
test
- functionality
  - _helper

Generated using TypeDoc