Function clingo_sys::clingo_configuration_array_at [] [src]

pub unsafe extern "C" fn clingo_configuration_array_at(
    configuration: *mut clingo_configuration_t,
    key: clingo_id_t,
    offset: usize,
    subkey: *mut clingo_id_t
) -> bool

Get the subkey at the given offset of an array entry.

Note: Some array entries, like fore example the solver configuration, can be accessed past there actual size to add subentries. @pre The @link clingo_configuration_type() type@endlink of the entry must be @ref ::clingo_configuration_type_array.

Parameters:

  • configuration the target configuration
  • key the key
  • offset the offset in the array
  • subkey the resulting subkey

Returns whether the call was successful