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