Function clingo_sys::clingo_control_statistics

pub unsafe extern "C" fn clingo_control_statistics(
    control: *const clingo_control_t,
    statistics: *mut *const clingo_statistics_t
) -> bool

! Get a statistics object to inspect solver statistics. ! ! Statistics are updated after a solve call. ! ! See the @ref Statistics module for more information. ! ! @attention ! The level of detail of the statistics depends on the stats option ! (which can be set using @ref Configuration module or passed as an option when @link clingo_control_new creating the control object@endlink). ! The default level zero only provides basic statistics, ! level one provides extended and accumulated statistics, ! and level two provides per-thread statistics. ! Furthermore, the statistics object is best accessed right after solving. ! Otherwise, not all of its entries have valid values. ! ! @param[in] control the target ! @param[out] statistics the statistics object ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc