Function clingo_sys::clingo_statistics_map_at
[−]
[src]
pub unsafe extern "C" fn clingo_statistics_map_at(
statistics: *const clingo_statistics_t,
key: u64,
name: *const c_char,
subkey: *mut u64
) -> bool
Lookup a subkey under the given name.
@pre The @link clingo_statistics_type() type@endlink of the entry must be @ref ::clingo_statistics_type_map.
Note: Multiple levels can be looked up by concatenating keys with a period.
Parameters:
statistics
- the target statisticskey
- the keyname
- the name to lookup the subkeysubkey
- the resulting subkey
Returns whether the call was successful