Type Alias AnyStateDomain<Domain>

AnyStateDomain: AnyAbstractDomain & StateDomain<Domain>

A type representing any state abstract domain that stores abstract values for AST nodes.

Type Parameters

Domain extends AnyAbstractDomain = AnyAbstractDomain