var classgko_1_1stop_1_1Criterion =
[
    [ "Updater", "classgko_1_1stop_1_1Criterion_1_1Updater.html", "classgko_1_1stop_1_1Criterion_1_1Updater" ],
    [ "check", "classgko_1_1stop_1_1Criterion.html#ae0bb4923fab4d2a60e08c5e5fa57277c", null ],
    [ "update", "classgko_1_1stop_1_1Criterion.html#a47e22c46eaa742d709dcbf0d26d93e6c", null ]
];