Function clingo_sys::clingo_control_statistics
[−]
[src]
pub unsafe extern "C" fn clingo_control_statistics(
control: *mut clingo_control_t,
statistics: *mut *mut 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.
Parameters:
control
the targetstatistics
the statistics object
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc