Interface StatisticsEntry<Name>

Statistics entry representing a single key-value pair from solver statistics

interface StatisticsEntry<Name extends string = "main"> {
    isDouble: boolean;
    isUint: boolean;
    key: string;
    value: number;
}

Properties

isDouble: boolean

True if this statistic is stored as a double

isUint: boolean

True if this statistic is stored as an unsigned integer

key: string

The key/name of this statistic

value: number

The numeric value of this statistic