Function clingo_sys::clingo_statistics_type

source ·

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

Expand description

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