@eagleoutice/flowr - v2.10.7

Preparing search index...

src/abstract-interpretation/domains/state-abstract-domain
StateDomainBottom

Type Alias StateDomainBottom

StateDomainBottom: typeof Bottom

The type of the Bottom element of the state abstract domain as Bottom symbol

Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:14

Settings

Member Visibility

Protected
Inherited
External

Theme

src
test
- functionality
  - _helper

Generated using TypeDoc