Interface ValueDomain<T>

A value abstract domain with abstraction function and a satisfiability check for concrete values.

interface ValueDomain<T> {
from(...values: T[]): this;
satisfies(value: T): Ternary;
}

Type Parameters

T

Hierarchy (View Summary)

ValueDomain

Implemented by

Hierarchy-Diagram

UML class diagram of ValueDomain

Index

Methods

Methods

from

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

satisfies

satisfies(value: T): Ternary
Checks whether the current abstract value satisfies a concrete value (i.e. includes a concrete value).
Parameters
- value: T
Returns Ternary
See
Ternary for the returned satisfiability result
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:16