Interface StatisticsMessage

Event emitted when statistics are received from the compiler or the solver.

Hierarchy

  • StatisticsMessage

Properties

statistics type

Properties

statistics

statistics: {
    [key: string]: any;
}

Mapping between statistic name and value

Type declaration

  • [key: string]: any

type

type: "statistics"

Message type

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc