Function clingo_sys::clingo_propagate_control_thread_id
source · pub unsafe extern "C" fn clingo_propagate_control_thread_id(
control: *const clingo_propagate_control_t
) -> clingo_id_t
Expand description
! Get the id of the underlying solver thread. ! ! Thread ids are consecutive numbers starting with zero. ! ! @param[in] control the target ! @return the thread id