Interface SatisfiableDomain<T>

An abstract domain with satisfiability checks for concrete values.

interface SatisfiableDomain<T> {
satisfies(value: T): Ternary;
}

Type Parameters

T

Implemented by

Index

Methods

Methods

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/satisfiable-domain.ts:11