Function clingo_sys::clingo_configuration_description [] [src]

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

Get the description of an entry.

Parameters:

  • configuration the target configuration
  • key the key
  • description the description

Returns whether the call was successful