Function clingo_sys::clingo_solve_handle_wait

pub unsafe extern "C" fn clingo_solve_handle_wait(
    handle: *mut clingo_solve_handle_t, 
    timeout: f64, 
    result: *mut bool
)

Wait for the specified amount of time to check if the next result is ready.

If the time is set to zero, this function can be used to poll if the search is still active. If the time is negative, the function blocks until the search is finished.

Parameters:

• handle the target
• timeout the maximum time to wait
• result whether the search has finished