var classtf_1_1WorkerInterface =
[
    [ "~WorkerInterface", "classtf_1_1WorkerInterface.html#a4f086cadaabff4094cf07fd387b2e185", null ],
    [ "scheduler_epilogue", "classtf_1_1WorkerInterface.html#a3e6d68fd4041f433d1b7ca9e5786b57c", null ],
    [ "scheduler_prologue", "classtf_1_1WorkerInterface.html#a41c3b931a36bde8eff4aa8d375e8888a", null ]
];