var _algorithm_history_8h =
[
    [ "AlgorithmHistory", "db/df8/class_algorithm_history.html", "db/df8/class_algorithm_history" ],
    [ "operator<<", "dd/dbb/_algorithm_history_8h.html#a208cbbb45b7e0e17686be20deeea2eac", null ]
];