var group__XBT__mallocator__cons =
[
    [ "xbt_mallocator_t", "group__XBT__mallocator__cons.html#gab949b93743d06b31bbdf3828d34a72ac", null ],
    [ "xbt_mallocator_new", "group__XBT__mallocator__cons.html#ga31b8b348c6b44d730c915c5442a64637", null ],
    [ "xbt_mallocator_free", "group__XBT__mallocator__cons.html#gaa884a3ef269f0709b9b2e025708f2e95", null ]
];