Function clingo_sys::clingo_configuration_map_has_subkey
[−]
[src]
pub unsafe extern "C" fn clingo_configuration_map_has_subkey(
configuration: *mut clingo_configuration_t,
key: clingo_id_t,
name: *const c_char,
result: *mut bool
) -> bool
Query whether the map has a key.
@pre The @link clingo_configuration_type() type@endlink of the entry must be @ref ::clingo_configuration_type_map.
Note: Multiple levels can be looked up by concatenating keys with a period.
Parameters:
configuration
the target configurationkey
the keyname
the name to lookup the subkeyresult
whether the key is in the map
Returns whether the call was successful