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. ! ! @param[in] handle the target ! @param[in] timeout the maximum time to wait ! @param[out] result whether the search has finished