Function clingo_sys::clingo_control_configuration [] [src]

pub unsafe extern "C" fn clingo_control_configuration(
    control: *mut clingo_control_t,
    configuration: *mut *mut clingo_configuration_t
) -> bool

Get a configuration object to change the solver configuration.

See the @ref Configuration module for more information.

Parameters:

  • control the target
  • configuration the configuration object

Returns whether the call was successful