Function clingo_sys::clingo_control_solve
[−]
[src]
pub unsafe extern "C" fn clingo_control_solve(
control: *mut clingo_control_t,
mode: clingo_solve_mode_bitset_t,
assumptions: *const clingo_symbolic_literal_t,
assumptions_size: usize,
notify: clingo_solve_event_callback_t,
data: *mut c_void,
handle: *mut *mut clingo_solve_handle_t
) -> bool
Solve the currently @link ::clingo_control_ground grounded @endlink logic program enumerating its models.
See the @ref SolveHandle module for more information.
Parameters:
control
- the targetmode
- configures the search modeassumptions
- array of assumptions to solve underassumptions_size
- number of assumptionsnotify
- the event handler to registerdata
- the user data for the event handlerhandle
- handle to the current search to enumerate models
Returns whether the call was successful; might set one of the following error codes:
- ::clingo_error_bad_alloc
- ::clingo_error_runtime if solving could not be started