Function clingo_sys::clingo_propagate_init_number_of_threads [−] [src]

pub unsafe extern "C" fn clingo_propagate_init_number_of_threads(
    init: *mut clingo_propagate_init_t
) -> c_int

Get the number of threads used in subsequent solving.

Parameters:

  • init the target

Returns the number of threads @see clingo_propagate_control_thread_id()