var classgko_1_1stop_1_1Criterion_1_1Updater =
[
    [ "Updater", "classgko_1_1stop_1_1Criterion_1_1Updater.html#aa8356e2fbfaf46cab62d8f8a905ab8bd", null ],
    [ "check", "classgko_1_1stop_1_1Criterion_1_1Updater.html#a048d209ce640e2b71fcafa8a056a58a4", null ]
];