@eagleoutice/flowr - v2.13.14
Preparing search index...
src/abstract-interpretation/domains/state-abstract-domain
StateDomainLift
Type Alias StateDomainLift<Domain>
StateDomainLift
:
StateDomainValue
<
Domain
>
|
StateDomainBottom
The type of the abstract values of the state abstract domain that are Top, Bottom, or actual values
Type Parameters
Domain
extends
AnyAbstractDomain
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@eagleoutice/flowr - v2.13.14
Loading...
The type of the abstract values of the state abstract domain that are Top, Bottom, or actual values