Class SetUpperBoundDomain<T, Value>

The set upper bound abstract domain as sets capturing possible values of the concrete set bounded by a limit for the maximum number of inferred values. The Bottom element is defined as theBottom and the Top element is defined as Top symbol.

Type Parameters

T
Type of the values in the abstract domain
Value extends SetUpperBoundLift<T> = SetUpperBoundLift<T>
Type of the constraint in the abstract domain (Top, Bottom, or an actual value)

Hierarchy (View Summary)

AbstractDomain<
    SetUpperBoundValue<T>,
    SetUpperBoundTop,
    SetUpperBoundBottom,
    Value,
>
- SetUpperBoundDomain

Implements

SetDomain<T>

Hierarchy-Diagram

UML class diagram of SetUpperBoundDomain

Index

Constructors

constructor

new SetUpperBoundDomain<
    T,
    Value extends SetUpperBoundLift<T> = SetUpperBoundLift<T>,
>(
    value: Value | T[],
    limit?: number,
    setType?: typeof Set,
): SetUpperBoundDomain<T, Value>
Type Parameters
- T
  Type of the values in the abstract domain
- Value extends SetUpperBoundLift<T> = SetUpperBoundLift<T>
  Type of the constraint in the abstract domain (Top, Bottom, or an actual value)
Parameters
- value: Value | T[]
- limit: number = DEFAULT_INFERENCE_LIMIT
  A limit for the maximum number of elements to store in the set
- setType: typeof Set = Set
Returns SetUpperBoundDomain<T, Value>
Overrides AbstractDomain.constructor
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:34

Properties

`Protected` `Readonly`_value

_value: Value

`Readonly`limit

limit: number

`Protected` `Readonly`setType

setType: typeof Set

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<T>(
limit?: number,
setType?: typeof Set,
): SetUpperBoundDomain<T, typeof Bottom>
Type Parameters
- T
Parameters
- Optionallimit: number
- OptionalsetType: typeof Set
Returns SetUpperBoundDomain<T, typeof Bottom>
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:65

`Static`from

from<T>(
    values: Set<T> | T[] | Set<T>[] | T[][],
    limit?: number,
    setType?: typeof Set,
): SetUpperBoundDomain<T>
Type Parameters
- T
Parameters
- values: Set<T> | T[] | Set<T>[] | T[][]
- Optionallimit: number
- OptionalsetType: typeof Set
Returns SetUpperBoundDomain<T>
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:69

`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<T>(limit?: number, setType?: typeof Set): SetUpperBoundDomain<T, typeof Top>
Type Parameters
- T
Parameters
- Optionallimit: number
- OptionalsetType: typeof Set
Returns SetUpperBoundDomain<T, typeof Top>
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:61

`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(): SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Bottom>
Gets the Bottom element (least element) of the complete lattice (should additionally be provided as static function).

Returns SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Bottom>
Overrides AbstractDomain.bottom
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:84

create

create(value: SetUpperBoundLift<T> | T[]): this
Creates an abstract value of the lattice for a given value.
Parameters
- value: SetUpperBoundLift<T> | T[]
Returns this
Overrides AbstractDomain.create
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:48

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: SetUpperBoundDomain<T, SetUpperBoundValue<T>>,
other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>,
): boolean
Parameters
- this: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
- other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
Returns boolean
Overrides AbstractDomain.equalsValue
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:88

from

from(...values: ReadonlySet<T>[] | T[][]): this
Abstracts a list of concrete values into an abstract value of the value abstract domain.
Parameters
- ...values: ReadonlySet<T>[] | T[][]
Returns this
Implementation of SetDomain.from
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:52

intersect

intersect(
other: SetUpperBoundLift<T> | SetUpperBoundDomain<T, Value> | T[],
): this
Creates the intersection between this set abstract value and another set abstract value.
Parameters
- other: SetUpperBoundLift<T> | SetUpperBoundDomain<T, Value> | T[]
Returns this
Implementation of SetDomain.intersect
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:113

isBottom

isBottom(): this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
T,
typeof Bottom,
>
Checks whether the current abstract value is the Bottom element of the complete lattice.

Returns this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Bottom>
Overrides AbstractDomain.isBottom
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:181

isNotBottom

isNotBottom(): this is SetUpperBoundDomain<T, Value> & AbstractDomain<
    SetUpperBoundValue<T>,
    typeof Top,
    typeof Bottom,
    typeof Top | SetUpperBoundValue<T>,
>
Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain<
    SetUpperBoundValue<T>,
    typeof Top,
    typeof Bottom,
    typeof Top | SetUpperBoundValue<T>,
>
Inherited from AbstractDomain.isNotBottom
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:215

isNotTop

isNotTop(): this is SetUpperBoundDomain<T, Value> & AbstractDomain<
    SetUpperBoundValue<T>,
    typeof Top,
    typeof Bottom,
    typeof Bottom | SetUpperBoundValue<T>,
>
Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain<
    SetUpperBoundValue<T>,
    typeof Top,
    typeof Bottom,
    typeof Bottom | SetUpperBoundValue<T>,
>
Inherited from AbstractDomain.isNotTop
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:209

isNotValue

isNotValue(): this is SetUpperBoundDomain<T, Value> & AbstractDomain<
    SetUpperBoundValue<T>,
    typeof Top,
    typeof Bottom,
    typeof Bottom | typeof Top,
>
Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain<
    SetUpperBoundValue<T>,
    typeof Top,
    typeof Bottom,
    typeof Bottom | typeof Top,
>
Inherited from AbstractDomain.isNotValue
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:221

isTop

isTop(): this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
T,
typeof Top,
>
Checks whether the current abstract value is the Top element of the complete lattice.

Returns this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Top>
Overrides AbstractDomain.isTop
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:177

isValue

isValue(): this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
T,
SetUpperBoundValue<T>,
>
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 SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
T,
SetUpperBoundValue<T>,
>
Overrides AbstractDomain.isValue
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:185

join

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

joinAll

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

`Protected`joinValue

joinValue(
    this: SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
        T,
        SetUpperBoundValue<T>,
    >,
    other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>,
): this
Parameters
- this: SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, SetUpperBoundValue<T>>
- other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
Returns this
Overrides AbstractDomain.joinValue
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:96

`Protected`jsonify

jsonify(this: SetUpperBoundDomain<T, SetUpperBoundValue<T>>): unknown
Parameters
- this: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
Returns unknown
Overrides AbstractDomain.jsonify
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:169

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: SetUpperBoundDomain<T, SetUpperBoundValue<T>>,
other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>,
): boolean
Parameters
- this: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
- other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
Returns boolean
Overrides AbstractDomain.leqValue
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:92

meet

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

meetAll

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

`Protected`meetValue

meetValue(
    this: SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
        T,
        SetUpperBoundValue<T>,
    >,
    other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>,
): this
Parameters
- this: SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, SetUpperBoundValue<T>>
- other: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
Returns this
Overrides AbstractDomain.meetValue
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:100

merge

merge(
    other: this,
    merge: (
        first: SetUpperBoundValue,
        second: SetUpperBoundValue,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    bottomDefault: (
        other: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    topDefault: (
        other: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
): this
Parameters
- other: this
- merge: (
  first: SetUpperBoundValue,
  second: SetUpperBoundValue,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
- bottomDefault: (
  other: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
- topDefault: (
  other: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
Returns this
Inherited from AbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:164
merge(
    other: this,
    merge: (
        first: typeof Top | SetUpperBoundValue<T>,
        second: typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    bottomDefault: (
        other: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
): this
Parameters
- other: this
- merge: (
  first: typeof Top | SetUpperBoundValue<T>,
  second: typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
- bottomDefault: (
  other: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
Returns this
Inherited from AbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:165
merge(
    other: this,
    merge: (
        first: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
        second: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
): this
Parameters
- other: this
- merge: (
  first: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
  second: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
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` `Optional`narrowValue

narrowValue?(
    this: AbstractDomain<
        SetUpperBoundValue<T>,
        typeof Top,
        typeof Bottom,
        SetUpperBoundValue<T>,
    >,
    other: AbstractDomain<
        SetUpperBoundValue<T>,
        typeof Top,
        typeof Bottom,
        SetUpperBoundValue<T>,
    >,
): this
Parameters
- this: AbstractDomain<
      SetUpperBoundValue<T>,
      typeof Top,
      typeof Bottom,
      SetUpperBoundValue<T>,
  >
- other: AbstractDomain<
      SetUpperBoundValue<T>,
      typeof Top,
      typeof Bottom,
      SetUpperBoundValue<T>,
  >
Returns this
Inherited from AbstractDomain.narrowValue
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:150

satisfies

satisfies(set: ReadonlySet<T> | T[], comparator?: SetComparator): Ternary
Checks whether the current abstract value satisfies a concrete value (i.e. includes a concrete value).
Parameters
- set: ReadonlySet<T> | T[]
- comparator: SetComparator = SetComparator.Equal
Returns Ternary
See
Ternary for the returned satisfiability result
Implementation of SetDomain.satisfies
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:135

`Protected`stringify

stringify(this: SetUpperBoundDomain<T, SetUpperBoundValue<T>>): string
Parameters
- this: SetUpperBoundDomain<T, SetUpperBoundValue<T>>
Returns string
Overrides AbstractDomain.stringify
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:173

subtract

subtract(other: SetUpperBoundLift<T> | SetUpperBoundDomain<T, Value>): this
Subtracts another set abstract value from this set abstract value creating the set difference.
Parameters
- other: SetUpperBoundLift<T> | SetUpperBoundDomain<T, Value>
Returns this
Implementation of SetDomain.subtract
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:122

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(): SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Top>
Gets the Top element (greatest element) of the complete lattice (should additionally be provided as static function).

Returns SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Top>
Overrides AbstractDomain.top
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:80

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: SetUpperBoundValue,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    bottomDefault: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    topDefault: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
): this
Parameters
- transform: (
  value: SetUpperBoundValue,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
- bottomDefault: typeof Bottom | typeof Top | SetUpperBoundValue<T>
- topDefault: typeof Bottom | typeof Top | SetUpperBoundValue<T>
Returns this
Inherited from AbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:152
transform(
    transform: (
        value: typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    bottomDefault: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
): this
Parameters
- transform: (
  value: typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
- bottomDefault: typeof Bottom | typeof Top | SetUpperBoundValue<T>
Returns this
Inherited from AbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:153
transform(
    transform: (
        value: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
    ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>,
): this
Parameters
- transform: (
  value: typeof Bottom | typeof Top | SetUpperBoundValue<T>,
  ) => typeof Bottom | typeof Top | SetUpperBoundValue<T>
Returns this
Inherited from AbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:154

union

union(other: SetUpperBoundLift<T> | SetUpperBoundDomain<T, Value> | T[]): this
Creates the union between this set abstract value and another set abstract value.
Parameters
- other: SetUpperBoundLift<T> | SetUpperBoundDomain<T, Value> | T[]
Returns this
Implementation of SetDomain.union
- Defined in src/abstract-interpretation/domains/set-upper-bound-domain.ts:104

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` `Optional`widenValue

widenValue?(
    this: AbstractDomain<
        SetUpperBoundValue<T>,
        typeof Top,
        typeof Bottom,
        SetUpperBoundValue<T>,
    >,
    other: AbstractDomain<
        SetUpperBoundValue<T>,
        typeof Top,
        typeof Bottom,
        SetUpperBoundValue<T>,
    >,
): this
Parameters
- this: AbstractDomain<
      SetUpperBoundValue<T>,
      typeof Top,
      typeof Bottom,
      SetUpperBoundValue<T>,
  >
- other: AbstractDomain<
      SetUpperBoundValue<T>,
      typeof Top,
      typeof Bottom,
      SetUpperBoundValue<T>,
  >
Returns this
Inherited from AbstractDomain.widenValue
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:132

Class SetUpperBoundDomain<T, Value>

Type Parameters

Hierarchy (View Summary)

Implements

Hierarchy-Diagram

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns SetUpperBoundDomain<T, Value>

Properties

Protected Readonly_value

Readonlylimit

Protected ReadonlysetType

Accessors

value

Returns Lift

Methods

Staticbottom

Type Parameters

Parameters

Returns SetUpperBoundDomain<T, typeof Bottom>

Staticfrom

Type Parameters

Parameters

Returns SetUpperBoundDomain<T>

StaticjoinAll

Type Parameters

Parameters

Returns Domain

StaticmeetAll

Type Parameters

Parameters

Returns Domain

Statictop

Type Parameters

Parameters

Returns SetUpperBoundDomain<T, typeof Top>

StatictoString

Parameters

Returns string

bottom

Returns SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Bottom>

create

Parameters

Returns this

equals

Parameters

Returns boolean

ProtectedequalsValue

Parameters

Returns boolean

from

Parameters

Returns this

intersect

Parameters

Returns this

isBottom

Returns this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Bottom>

isNotBottom

Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain< SetUpperBoundValue<T>, typeof Top, typeof Bottom, typeof Top | SetUpperBoundValue<T>,>

isNotTop

Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain< SetUpperBoundValue<T>, typeof Top, typeof Bottom, typeof Bottom | SetUpperBoundValue<T>,>

isNotValue

Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain< SetUpperBoundValue<T>, typeof Top, typeof Bottom, typeof Bottom | typeof Top,>

isTop

Returns this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<T, typeof Top>

isValue

Returns this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain< T, SetUpperBoundValue<T>,>

join

Parameters

Returns this

joinAll

Parameters

`Protected` `Readonly`_value

`Readonly`limit

`Protected` `Readonly`setType

`Static`bottom

`Static`from

`Static`joinAll

`Static`meetAll

`Static`top

`Static`toString

`Protected`equalsValue

Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain<
SetUpperBoundValue<T>,
typeof Top,
typeof Bottom,
typeof Top | SetUpperBoundValue<T>,
>

Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain<
SetUpperBoundValue<T>,
typeof Top,
typeof Bottom,
typeof Bottom | SetUpperBoundValue<T>,
>

Returns this is SetUpperBoundDomain<T, Value> & AbstractDomain<
SetUpperBoundValue<T>,
typeof Top,
typeof Bottom,
typeof Bottom | typeof Top,
>

Returns this is SetUpperBoundDomain<T, Value> & SetUpperBoundDomain<
T,
SetUpperBoundValue<T>,
>

`Protected`joinValue

`Protected`jsonify

`Protected`leqValue

`Protected`meetValue

`Protected` `Optional`narrowValue

`Protected`stringify

`Protected` `Optional`widenValue