Interface NumericDomain

A numeric value abstract domain with numeric operations and a satisfiability check.

interface NumericDomain {
    add(other: this): this;
    divide(other: this): this;
    from(...values: number[]): this;
    max(other: this): this;
    min(other: this): this;
    multiply(other: this): this;
    negate(): this;
    satisfies(value: number, comparator?: NumericalComparator): Ternary;
    subtract(other: this): this;
}

Hierarchy (View Summary)

ValueDomain<number>
- NumericDomain

Implemented by

IntervalDomain

Hierarchy-Diagram

UML class diagram of NumericDomain

Index

Methods

add divide from max min multiply negate satisfies subtract

Methods

add

add(other: this): this
Adds an numeric abstract value to this numeric abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:43

divide

divide(other: this): this
Divides this numeric abstract value by another numeric abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:58

from

from(...values: number[]): this
Abstracts a list of concrete values into an abstract value of the value abstract domain.
Parameters
- ...values: number[]
Returns this
Inherited from ValueDomain.from
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:10

max

max(other: this): this
Gets the maximum of this numeric abstract value and another numeric abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:68

min

min(other: this): this
Gets the minimum of this numeric abstract value and another numeric abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:63

multiply

multiply(other: this): this
Multiplies this numeric abstract value with another numeric abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:53

negate

negate(): this
Negates this numeric abstract value.

Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:38

satisfies

satisfies(value: number, comparator?: NumericalComparator): Ternary
Checks whether the current abstract value satisfies a concrete value (i.e. includes a concrete value).
Parameters
- value: number
- Optionalcomparator: NumericalComparator
Returns Ternary
See
Ternary for the returned satisfiability result
Overrides ValueDomain.satisfies
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:70

subtract

subtract(other: this): this
Subtracts an numeric abstract value from this numeric abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:48