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.