Function clingo_sys::clingo_propagate_control_thread_id [−] [src]

pub unsafe extern "C" fn clingo_propagate_control_thread_id(
    control: *mut clingo_propagate_control_t
) -> clingo_id_t

Get the id of the underlying solver thread.

Thread ids are consecutive numbers starting with zero.

Parameters:

  • control the target

Returns the thread id