var interface_deactivate =
[
    [ "active_set_vector", "interface-deactivate-active_set_vector.html", null ],
    [ "evaluation_cache", "interface-deactivate-evaluation_cache.html", null ],
    [ "strict_cache_equality", "interface-deactivate-strict_cache_equality.html", "interface-deactivate-strict_cache_equality" ],
    [ "restart_file", "interface-deactivate-restart_file.html", null ]
];