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

    Type Alias ConcreteState<Domain>

    ConcreteState: ReadonlyMap<NodeId, ConcreteDomain<Domain>>

    The type of the concrete state of the concrete domain of a state abstract domain that maps keys to a concrete value in the concrete domain

    Type Parameters

    Settings

    Member Visibility