Function clingo_sys::clingo_statistics_root
[−]
[src]
pub unsafe extern "C" fn clingo_statistics_root(
statistics: *const 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