Function clingo_sys::clingo_statistics_root
[−]
[src]
pub unsafe extern "C" fn clingo_statistics_root(
statistics: *mut clingo_statistics_t,
key: *mut u64
) -> bool
Get the root key of the statistics.
Parameters:
statistics
the target statisticskey
the root key
Returns whether the call was successful