Preparing search index...
The search index is not available

@eagleoutice/flowr - v2.4.7

@eagleoutice/flowr
src/abstract-interpretation/domains/positive-interval-domain
PosIntervalLift

Type Alias PosIntervalLift

PosIntervalLift: PosIntervalValue | PosIntervalTop | PosIntervalBottom

The type of the abstract values of the positive interval domain that are Top, Bottom, or actual values

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

Settings

Member Visibility

Protected
Inherited
External

Theme

src
test
- functionality
  - _helper

Generated using TypeDoc