Class StateAbstractDomain<Domain, Value>

A state abstract domain that maps AST node IDs of a program to abstract values of an abstract domain. The Bottom element is defined as Bottom symbol and the Top element as empty mapping.

See

NodeId for the node IDs of the AST nodes

Type Parameters

Domain extends AnyAbstractDomain
Type of the value abstract domain to map the AST node IDs to
Value extends StateDomainLift<Domain> = StateDomainLift<Domain>

Hierarchy (View Summary)

AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    StateDomainBottom,
    Value,
>
- StateAbstractDomain
  - MultiValueStateDomain

Implements

StateDomain<Domain>

Index

Constructors

constructor

new StateAbstractDomain<
    Domain extends AnyAbstractDomain,
    Value extends StateDomainLift<Domain> = StateDomainLift<Domain>,
>(
    value: Value,
    domain: Domain,
    collapseOnBottom?: boolean,
): StateAbstractDomain<Domain, Value>
Type Parameters
- Domain extends AnyAbstractDomain
  Type of the value abstract domain to map the AST node IDs to
- Value extends StateDomainLift<Domain> = StateDomainLift<Domain>
Parameters
- value: Value
- domain: Domain
- collapseOnBottom: boolean = true
Returns StateAbstractDomain<Domain, Value>
Overrides AbstractDomain.constructor
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:42

Properties

`Protected` `Readonly`_value

_value: Value

`Readonly`collapseOnBottom

collapseOnBottom: boolean

Whether mapping a single NodeId to Bottom collapses the whole state to Bottom or keeps it as a regular entry

`Readonly`domain

domain: Domain

The underlying value domain of the state domain.

Accessors

value

get value(): Lift
The current abstract value of the lattice.

Returns Lift
Inherited from AbstractDomain.value
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:26

Methods

`Static`bottom

bottom<
    Domain extends AnyAbstractDomain,
    StateDomain extends StateAbstractDomain<Domain, typeof Bottom>,
>(
    this: new (
        value: typeof Bottom,
        domain: Domain,
        collapseOnBottom?: boolean,
    ) => StateDomain,
    domain: Domain,
    collapseOnBottom?: boolean,
): StateDomain
Type Parameters
- Domain extends AnyAbstractDomain
- StateDomain extends StateAbstractDomain<Domain, typeof Bottom>
Parameters
- this: new (
      value: typeof Bottom,
      domain: Domain,
      collapseOnBottom?: boolean,
  ) => StateDomain
- domain: Domain
- collapseOnBottom: boolean = true
Returns StateDomain
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:56

`Static`joinAll

joinAll<Domain extends AnyAbstractDomain>(
values: Domain[],
defaultValue?: Domain,
): Domain
Joins an array of abstract values by joining the first abstract value with the other values in the array. The provided array of abstract values must not be empty or a default value must be provided!
Type Parameters
- Domain extends AnyAbstractDomain
Parameters
- values: Domain[]
- OptionaldefaultValue: Domain
Returns Domain
Inherited from AbstractDomain.joinAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:229

`Static`meetAll

meetAll<Domain extends AnyAbstractDomain>(
values: Domain[],
defaultValue?: Domain,
): Domain
Meets an array of abstract values by meeting the first abstract value with the other values in the array. The provided array of abstract values must not be empty or a default value must be provided!
Type Parameters
- Domain extends AnyAbstractDomain
Parameters
- values: Domain[]
- OptionaldefaultValue: Domain
Returns Domain
Inherited from AbstractDomain.meetAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:238

`Static`top

top<
    Domain extends AnyAbstractDomain,
    StateDomain extends StateAbstractDomain<Domain, StateDomainTop>,
>(
    this: new (
        value: StateDomainTop,
        domain: Domain,
        collapseOnBottom?: boolean,
    ) => StateDomain,
    domain: Domain,
    collapseOnBottom?: boolean,
): StateDomain
Type Parameters
- Domain extends AnyAbstractDomain
- StateDomain extends StateAbstractDomain<Domain, StateDomainTop>
Parameters
- this: new (
      value: StateDomainTop,
      domain: Domain,
      collapseOnBottom?: boolean,
  ) => StateDomain
- domain: Domain
- collapseOnBottom: boolean = true
Returns StateDomain
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:52

`Static`toString

toString(this: void, value: unknown): string
Converts an element of an abstract domain into a string.
Parameters
- this: void
- value: unknown
Returns string
Inherited from AbstractDomain.toString
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:246

bottom

bottom(): StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
typeof Bottom,
>
Gets the Bottom element (least element) of the complete lattice (should additionally be provided as static function).

Returns StateAbstractDomain<Domain, Value> & StateAbstractDomain<Domain, typeof Bottom>
Overrides AbstractDomain.bottom
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:88

create

create(value: StateDomainLift<Domain>): this
Creates an abstract value of the lattice for a given value.
Parameters
- value: StateDomainLift<Domain>
Returns this
Overrides AbstractDomain.create
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:48

entries

entries(): readonly [NodeId, Domain][]
Returns all node-value pairs of the state domain.

Returns readonly [NodeId, Domain][]
Implementation of StateDomain.entries
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:80

equals

equals(other: this): boolean
Checks whether the current abstract value equals to another abstract value.
Parameters
- other: this
Returns boolean
Inherited from AbstractDomain.equals
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:36

`Protected`equalsValue

equalsValue(
this: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
other: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
): boolean
Parameters
- this: StateAbstractDomain<Domain, StateDomainValue<Domain>>
- other: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns boolean
Overrides AbstractDomain.equalsValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:120

get

get(node: NodeId): Domain | undefined
Gets the inferred abstract value for an AST node ID.
Parameters
- node: NodeId
Returns Domain | undefined
Implementation of StateDomain.get
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:60

getBottomNodes

getBottomNodes(): NodeId[]
Gets the AST node IDs in the state domain that are mapped to Bottom.

Returns NodeId[]
Implementation of StateDomain.getBottomNodes
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:183

has

has(node: NodeId): boolean
Checks whether the state domain has an inferred value for an AST node ID.
Parameters
- node: NodeId
Returns boolean
Implementation of StateDomain.has
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:64

isBottom

isBottom(): this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
typeof Bottom,
>
Whether the state is Bottom.

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
typeof Bottom,
>
Implementation of StateDomain.isBottom

Overrides AbstractDomain.isBottom
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:175

isNotBottom

isNotBottom(): this is StateAbstractDomain<Domain, Value> & AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    typeof Bottom,
    StateDomainValue<Domain> | StateDomainTop,
>
Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    typeof Bottom,
    StateDomainValue<Domain> | StateDomainTop,
>
Inherited from AbstractDomain.isNotBottom
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:215

isNotTop

isNotTop(): this is StateAbstractDomain<Domain, Value> & AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainValue<Domain>,
>
Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainValue<Domain>,
>
Inherited from AbstractDomain.isNotTop
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:209

isNotValue

isNotValue(): this is StateAbstractDomain<Domain, Value> & AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainTop,
>
Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain<
    StateDomainValue<Domain>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainTop,
>
Inherited from AbstractDomain.isNotValue
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:221

isTop

isTop(): this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainTop,
>
Checks whether the current abstract value is the Top element of the complete lattice.

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainTop,
>
Overrides AbstractDomain.isTop
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:171

isValue

isValue(): this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainValue<Domain>,
>
Checks whether the current abstract value is an actual value of the complete lattice (this may include the Top or Bottom element if they are also values and no separate symbols, for example).

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainValue<Domain>,
>
Overrides AbstractDomain.isValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:179

join

join(
    other:
        | typeof Bottom
        | StateAbstractDomain<Domain, Value>
        | StateDomainValue<Domain>
        | StateDomainTop,
): this
Joins the current abstract value with another abstract value by creating the least upper bound (LUB) in the lattice.
Parameters
- other:
      | typeof Bottom
      | StateAbstractDomain<Domain, Value>
      | StateDomainValue<Domain>
      | StateDomainTop
Returns this
Inherited from AbstractDomain.join
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:58

joinAll

joinAll(values: readonly StateAbstractDomain<Domain, Value>[]): this
Joins the current abstract value with multiple other abstract values.
Parameters
- values: readonly StateAbstractDomain<Domain, Value>[]
Returns this
Inherited from AbstractDomain.joinAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:78

`Protected`joinValue

joinValue(
    this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
        Domain,
        StateDomainValue<Domain>,
    >,
    other: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
): this
Parameters
- this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
  Domain,
  StateDomainValue<Domain>,
  >
- other: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns this
Overrides AbstractDomain.joinValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:133

`Protected`jsonify

jsonify(this: StateAbstractDomain<Domain, StateDomainValue<Domain>>): unknown
Parameters
- this: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns unknown
Overrides AbstractDomain.jsonify
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:163

leq

leq(other: this): boolean
Checks whether the current abstract value is less than or equal to another abstract value with respect to the partial order of the lattice.
Parameters
- other: this
Returns boolean
Inherited from AbstractDomain.leq
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:47

`Protected`leqValue

leqValue(
this: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
other: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
): boolean
Parameters
- this: StateAbstractDomain<Domain, StateDomainValue<Domain>>
- other: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns boolean
Overrides AbstractDomain.leqValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:124

meet

meet(
    other:
        | typeof Bottom
        | StateAbstractDomain<Domain, Value>
        | StateDomainValue<Domain>
        | StateDomainTop,
): this
Meets the current abstract value with another abstract value by creating the greatest lower bound (GLB) in the lattice.
Parameters
- other:
      | typeof Bottom
      | StateAbstractDomain<Domain, Value>
      | StateDomainValue<Domain>
      | StateDomainTop
Returns this
Inherited from AbstractDomain.meet
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:87

meetAll

meetAll(values: readonly StateAbstractDomain<Domain, Value>[]): this
Meets the current abstract value with multiple other abstract values.
Parameters
- values: readonly StateAbstractDomain<Domain, Value>[]
Returns this
Inherited from AbstractDomain.meetAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:107

`Protected`meetValue

meetValue(
    this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
        Domain,
        StateDomainValue<Domain>,
    >,
    other: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
): this
Parameters
- this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
  Domain,
  StateDomainValue<Domain>,
  >
- other: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns this
Overrides AbstractDomain.meetValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:155

merge

merge(
    other: this,
    merge: (
        first: StateDomainValue,
        second: StateDomainValue,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    bottomDefault: (
        other: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    topDefault: (
        other: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
): this
Parameters
- other: this
- merge: (
  first: StateDomainValue,
  second: StateDomainValue,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
- bottomDefault: (
  other: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
- topDefault: (
  other: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
Returns this
Inherited from AbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:164
merge(
    other: this,
    merge: (
        first: StateDomainValue<Domain> | StateDomainTop,
        second: StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    bottomDefault: (
        other: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
): this
Parameters
- other: this
- merge: (
  first: StateDomainValue<Domain> | StateDomainTop,
  second: StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
- bottomDefault: (
  other: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
Returns this
Inherited from AbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:165
merge(
    other: this,
    merge: (
        first: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
        second: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
): this
Parameters
- other: this
- merge: (
  first: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
  second: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
Returns this
Inherited from AbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:166

narrow

narrow(other: this): this
Narrows the current abstract value with another abstract value as a sound over-approximation of the meet (greatest lower bound) to refine the value after widening.
Parameters
- other: this
Returns this
Inherited from AbstractDomain.narrow
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:137

`Protected`narrowValue

narrowValue(
    this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
        Domain,
        StateDomainValue<Domain>,
    >,
    other: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
): this
Parameters
- this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
  Domain,
  StateDomainValue<Domain>,
  >
- other: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns this
Overrides AbstractDomain.narrowValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:159

remove

remove(node: NodeId): void
Removes the inferred value for an AST node ID from the state domain.
Parameters
- node: NodeId
Returns void
Implementation of StateDomain.remove
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:74

set

set(node: NodeId, value: Domain): void
Sets the inferred value for an AST node ID from the state domain.
Parameters
- node: NodeId
- value: Domain
Returns void
Implementation of StateDomain.set
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:68

`Protected`stringify

stringify(this: StateAbstractDomain<Domain, StateDomainValue<Domain>>): string
Parameters
- this: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns string
Overrides AbstractDomain.stringify
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:167

toJSON

toJSON(): unknown
Converts the lattice into a JSON serializable value.

Returns unknown
Inherited from AbstractDomain.toJSON
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:185

top

top(): StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainTop,
>
Gets the Top element (greatest element) of the complete lattice (should additionally be provided as static function).

Returns StateAbstractDomain<Domain, Value> & StateAbstractDomain<Domain, StateDomainTop>
Overrides AbstractDomain.top
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:84

toString

toString(): string
Converts the lattice into a human-readable string.

Returns string
Inherited from AbstractDomain.toString
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:196

transform

transform(
    transform: (
        value: StateDomainValue,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    bottomDefault: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    topDefault: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
): this
Parameters
- transform: (
  value: StateDomainValue,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
- bottomDefault: typeof Bottom | StateDomainValue<Domain> | StateDomainTop
- topDefault: typeof Bottom | StateDomainValue<Domain> | StateDomainTop
Returns this
Inherited from AbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:152
transform(
    transform: (
        value: StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    bottomDefault: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
): this
Parameters
- transform: (
  value: StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
- bottomDefault: typeof Bottom | StateDomainValue<Domain> | StateDomainTop
Returns this
Inherited from AbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:153
transform(
    transform: (
        value: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
    ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
): this
Parameters
- transform: (
  value: typeof Bottom | StateDomainValue<Domain> | StateDomainTop,
  ) => typeof Bottom | StateDomainValue<Domain> | StateDomainTop
Returns this
Inherited from AbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:154

widen

widen(other: this): this
Widens the current abstract value with another abstract value as a sound over-approximation of the join (least upper bound) for fixpoint iteration acceleration.
Parameters
- other: this
Returns this
Inherited from AbstractDomain.widen
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:119

`Protected`widenValue

widenValue(
    this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
        Domain,
        StateDomainValue<Domain>,
    >,
    other: StateAbstractDomain<Domain, StateDomainValue<Domain>>,
): this
Parameters
- this: StateAbstractDomain<Domain, Value> & StateAbstractDomain<
  Domain,
  StateDomainValue<Domain>,
  >
- other: StateAbstractDomain<Domain, StateDomainValue<Domain>>
Returns this
Overrides AbstractDomain.widenValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:137

Class StateAbstractDomain<Domain, Value>

See

Type Parameters

Hierarchy (View Summary)

Implements

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns StateAbstractDomain<Domain, Value>

Properties

Protected Readonly_value

ReadonlycollapseOnBottom

Readonlydomain

Accessors

value

Returns Lift

Methods

Staticbottom

Type Parameters

Parameters

Returns StateDomain

StaticjoinAll

Type Parameters

Parameters

Returns Domain

StaticmeetAll

Type Parameters

Parameters

Returns Domain

Statictop

Type Parameters

Parameters

Returns StateDomain

StatictoString

Parameters

Returns string

bottom

Returns StateAbstractDomain<Domain, Value> & StateAbstractDomain<Domain, typeof Bottom>

create

Parameters

Returns this

entries

Returns readonly [NodeId, Domain][]

equals

Parameters

Returns boolean

ProtectedequalsValue

Parameters

Returns boolean

get

Parameters

Returns Domain | undefined

getBottomNodes

Returns NodeId[]

has

Parameters

Returns boolean

isBottom

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain< Domain, typeof Bottom,>

isNotBottom

Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain< StateDomainValue<Domain>, StateDomainTop, typeof Bottom, StateDomainValue<Domain> | StateDomainTop,>

isNotTop

Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain< StateDomainValue<Domain>, StateDomainTop, typeof Bottom, typeof Bottom | StateDomainValue<Domain>,>

isNotValue

Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain< StateDomainValue<Domain>, StateDomainTop, typeof Bottom, typeof Bottom | StateDomainTop,>

isTop

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain< Domain, StateDomainTop,>

isValue

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain< Domain, StateDomainValue<Domain>,>

join

Parameters

Returns this

joinAll

Parameters

`Protected` `Readonly`_value

`Readonly`collapseOnBottom

`Readonly`domain

`Static`bottom

`Static`joinAll

`Static`meetAll

`Static`top

`Static`toString

`Protected`equalsValue

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
typeof Bottom,
>

Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain<
StateDomainValue<Domain>,
StateDomainTop,
typeof Bottom,
StateDomainValue<Domain> | StateDomainTop,
>

Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain<
StateDomainValue<Domain>,
StateDomainTop,
typeof Bottom,
typeof Bottom | StateDomainValue<Domain>,
>

Returns this is StateAbstractDomain<Domain, Value> & AbstractDomain<
StateDomainValue<Domain>,
StateDomainTop,
typeof Bottom,
typeof Bottom | StateDomainTop,
>

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainTop,
>

Returns this is StateAbstractDomain<Domain, Value> & StateAbstractDomain<
Domain,
StateDomainValue<Domain>,
>

`Protected`joinValue

`Protected`jsonify

`Protected`leqValue

`Protected`meetValue

`Protected`narrowValue

`Protected`stringify

`Protected`widenValue