var struct__starpu__worker__set =
[
    [ "worker_thread", "struct__starpu__worker__set.html#ad68775c43470f049b29bd13886a007a1", null ],
    [ "started", "struct__starpu__worker__set.html#a56bf0d1d1152594164edce3fda73692a", null ],
    [ "ready_cond", "struct__starpu__worker__set.html#af75aa09443335da75b939ccd6f566614", null ]
];