Function clingo_sys::clingo_statistics_type
[−]
[src]
pub unsafe extern "C" fn clingo_statistics_type(
statistics: *const clingo_statistics_t,
key: u64,
type_: *mut clingo_statistics_type_t
) -> bool
Get the type of a key.
Parameters:
statistics
- the target statisticskey
- the keytype
- the resulting type
Returns whether the call was successful