var structoperations__research_1_1sat_1_1WorkerInfo =
[
    [ "worker_name", "structoperations__research_1_1sat_1_1WorkerInfo.html#adc05b81756b4a943a1d4e2af260d5503", null ],
    [ "worker_id", "structoperations__research_1_1sat_1_1WorkerInfo.html#aacc8c53095cf7c8117214ad4e440fab3", null ]
];