MiniZinc JavaScript
    Preparing search index...

    Interface StatisticsMessage

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

    interface StatisticsMessage {
        statistics: { [key: string]: any };
        type: "statistics";
    }
    Index

    Properties

    statistics type

    Properties

    statistics: { [key: string]: any }

    Mapping between statistic name and value

    type: "statistics"

    Message type

    Settings

    Member Visibility

    On This Page

    Properties