AbstractDomain

protocol AbstractDomain : Equatable, Sendable

A type representing the possible values of an object in an abstract interpreter.

The values of an abstract domain must form a meet-semilattice whose meet operation represents the conservative superposition of two abstract values.

Show on GitHub

  • Returns lhs merged with rhs.

    Declaration

    Swift

    static func && (l: Self, r: Self) -> Self
    Show on GitHub