Function clingo_sys::clingo_configuration_root [−] [src]

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

Get the root key of the configuration.

Parameters:

  • configuration - the target configuration
  • key - the root key

Returns whether the call was successful