var memory__manager_8h =
[
    [ "_starpu_memory_manager_init", "memory__manager_8h.html#aa294381320b5410e0503676af7fc4d3f", null ],
    [ "_starpu_memory_manager_set_global_memory_size", "memory__manager_8h.html#acf53a026af54b38c64faab43d145258a", null ],
    [ "_starpu_memory_manager_get_global_memory_size", "memory__manager_8h.html#a536ac5a291c80d6c907056da8653b238", null ]
];