Function clingo_sys::clingo_statistics_root

source ·

pub unsafe extern "C" fn clingo_statistics_root(
    statistics: *const clingo_statistics_t,
    key: *mut u64
) -> bool

Expand description

! Get the root key of the statistics. ! ! @param[in] statistics the target statistics ! @param[out] key the root key ! @return whether the call was successful