From d73e3010eadbe9c392ebc6bd8d84a555833aacf7 Mon Sep 17 00:00:00 2001 From: Simon Dold Date: Fri, 9 Feb 2024 17:22:01 +0100 Subject: [PATCH] [issue1082] style. --- .../cartesian_abstractions/additive_cartesian_heuristic.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/search/cartesian_abstractions/additive_cartesian_heuristic.cc b/src/search/cartesian_abstractions/additive_cartesian_heuristic.cc index 1013d7750e..b0b47252f9 100644 --- a/src/search/cartesian_abstractions/additive_cartesian_heuristic.cc +++ b/src/search/cartesian_abstractions/additive_cartesian_heuristic.cc @@ -38,11 +38,11 @@ static vector generate_heuristic_functions( } AdditiveCartesianHeuristic::AdditiveCartesianHeuristic( - const std::vector> &subtasks, + const vector> &subtasks, int max_states, int max_transitions, double max_time, PickSplit pick, bool use_general_costs, int random_seed, - const std::shared_ptr &transform, bool cache_estimates, - const std::string &description, utils::Verbosity verbosity) + const shared_ptr &transform, bool cache_estimates, + const string &description, utils::Verbosity verbosity) : Heuristic(transform, cache_estimates, description, verbosity), heuristic_functions(generate_heuristic_functions( subtasks, max_states, max_transitions, max_time, pick,