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 targetconfiguration
the configuration object
Returns whether the call was successful