Function clingo_sys::clingo_control_solve

pub unsafe extern "C" fn clingo_control_solve(
    control: *mut clingo_control_t, 
    mode: clingo_solve_mode_bitset_t, 
    assumptions: *const clingo_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. ! ! @param[in] control the target ! @param[in] mode configures the search mode ! @param[in] assumptions array of assumptions to solve under ! @param[in] assumptions_size number of assumptions ! @param[in] notify the event handler to register ! @param[in] data the user data for the event handler ! @param[out] handle handle to the current search to enumerate models ! @return 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