var class_a_benchmark =
[
    [ "ABenchmark", "class_a_benchmark.html#adcebb0bd96c6ba1c8c815d1027a8a6c0", null ],
    [ "ABenchmark", "class_a_benchmark.html#aeda486de8c216faeeb907d481e97e4ec", null ],
    [ "ABenchmark", "class_a_benchmark.html#abb60322e3e9ca93ab47159ab70d878c6", null ]
];