@eagleoutice/flowr - v2.13.1

Preparing search index...

src/abstract-interpretation/domains/bounded-set-domain
SetBottom

Variable SetBottom`Const`

SetBottom: ReadonlySet<never> = ...

The Bottom element of the bounded set domain as empty set

Defined in src/abstract-interpretation/domains/bounded-set-domain.ts:8

Settings

Member Visibility

Protected
Inherited
External

Theme

src
test
- functionality
  - _helper

Generated using TypeDoc