var algorithm_2mismatch_8hpp =
[
    [ "Mismatchable", "algorithm_2mismatch_8hpp.html#ga996458535fe696ed2208ab883a688724", null ],
    [ "mismatch", "algorithm_2mismatch_8hpp.html#ga5048f2d79ffb18a2957b5c6ae08800fb", null ]
];