MiniZinc JavaScript
    Preparing search index...

    Interface TimestampMessage

    Event emitted when a timestamp message is received independently of a solution or status.

    interface TimestampMessage {
        time: number;
        type: "time";
    }
    Index

    Properties

    Properties

    time: number

    Time in milliseconds

    type: "time"

    Message type