@eagleoutice/flowr - v2.10.1

Preparing search index...

src/benchmark/slicer
<internal>
PosIntervalLift

Type Alias PosIntervalLift

PosIntervalLift: PosIntervalValue | 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:14

Settings

Member Visibility

Protected
Inherited
External

Theme

src
test
- functionality
  - _helper

Generated using TypeDoc