Type Alias DomainSemantics<Domains>

DomainSemantics: {
    readonly [Key in keyof Domains]: AbstractSemantics<
        StateDomain<Domains[Key]>,
    >
}

Represents the abstract semantics for each abstract domain in an analysis.

Domains extends AbstractProduct
Type of the abstract product mapping the names of the abstract domains of the analysis to the respective domains