Module statistics 

Contains structures related to the statistic logging of the [Solver]

Structs

StatisticLogger

Responsible for logging the statistics with the provided prefix; currently used when logging the statistics of propagators.

StatisticOptions

The options for statistic logging containing the statistic prefix, the (optional) line which is printed after the statistics, and the (optional) casing of the statistics.

Traits

Statistic

A simple trait for defining a loggable statistic.

Functions

configure_statistic_logging

Configures the logging of the statistics.

log_statistic

Logs the provided statistic with name name and value value. At the moment it will log in the format STATISTIC_PREFIX NAME=VALUE.

log_statistic_postfix

Logs the postfix of the statistics (if it has been set).

should_log_statistics

Returns whether or not statistics should be logged by determining whether the StatisticOptions have been configured.