rAKA/src/model/common/non_local_toolbox/neighborhoods_criterion_evaluation/neighborhood_max_criterion_inline_impl.ccbugfixes/all_bugs_found…
rAKA/src/model/common/non_local_toolbox/neighborhoods_criterion_evaluation/neighborhood_max_criterion_inline_impl.cc
bugfixes/all_bugs_found…