var class__impl__Tools =
[
    [ "~_impl_Tools", "class__impl__Tools.html#a4313f8a1b9f779e8a986344041907f24", null ],
    [ "_dispatch", "class__impl__Tools.html#a3ad4d4e42c70dfe425376faeb4a207c6", null ],
    [ "createContext", "class__impl__Tools.html#a551755e9c179b205e72c3b30f7d5becf", null ],
    [ "deleteAllServants", "class__impl__Tools.html#aeac99d3d48b821b47d8609a24ff6701c", null ],
    [ "deleteContext", "class__impl__Tools.html#adc9d8065a1631585f5a2f50ee5cb9328", null ],
    [ "deleteServant", "class__impl__Tools.html#a43f5bd00b195f198216e5baf9ff0c100", null ],
    [ "getAllServants", "class__impl__Tools.html#a3aeec4030aa7810be09ecb8446ca14fb", null ],
    [ "getContexts", "class__impl__Tools.html#aaa84d14058de75f6a06c5a5c45213453", null ],
    [ "getServer", "class__impl__Tools.html#af28855f34cca512ff5887b492289c352", null ],
    [ "loadServerPlugin", "class__impl__Tools.html#ac7c1dcb884251cb2b6213e8d0055582e", null ],
    [ "shutdown", "class__impl__Tools.html#a1bdc0e9b97d697de0ba1c1984b05d9f8", null ]
];