@eagleoutice/flowr - v2.15.8
    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