Function clingo_sys::clingo_configuration_array_at [] [src]

pub unsafe extern "C" fn clingo_configuration_array_at(
    configuration: *const 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