Interface BooleanDomain

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

interface BooleanDomain {
    and(other: this): this;
    from(...values: boolean[]): this;
    negate(): this;
    or(other: this): this;
    satisfies(value: boolean): Ternary;
}

Hierarchy (View Summary)

ValueDomain<boolean>
- BooleanDomain

Hierarchy-Diagram

UML class diagram of BooleanDomain

Index

Methods

and from negate or satisfies

Methods

and

and(other: this): this
Creates the conjunction between this boolean abstract value and another boolean abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:82

from

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

negate

negate(): this
Negates this boolean abstract value.

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

or

or(other: this): this
Creates the disjunction between this boolean abstract value and another boolean abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:87

satisfies

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