Function clingo_sys::clingo_configuration_root [−] [src]

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