@eagleoutice/flowr - v2.16.3
    Preparing search index...

    Variable IntervalSemanticsConst

    IntervalSemantics: ValueSemantics<StateDomain<IntervalDomain<IntervalLift>>> = ...

    The abstract semantics of the interval analysis for numeric constants, additions, and subtractions

    Settings
    Member Visibility