Function clingo_sys::clingo_configuration_map_at [] [src]

pub unsafe extern "C" fn clingo_configuration_map_at(
    configuration: *mut clingo_configuration_t,
    key: clingo_id_t,
    name: *const c_char,
    subkey: *mut clingo_id_t
) -> bool

Lookup a subkey under the given name.

@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 configuration
  • key the key
  • name the name to lookup the subkey
  • subkey the resulting subkey

Returns whether the call was successful