[issue1134] Fix time label ID bug.

aibasel · Feb 6, 2024 · b5c457e · b5c457e · FlorianPommerening · Feb 6, 2024
1 parent 376b041
commit b5c457e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/search/operator_counting/delete_relaxation_constraints_rr.cc b/src/search/operator_counting/delete_relaxation_constraints_rr.cc
@@ -210,7 +210,7 @@ DeleteRelaxationConstraintsRR::create_auxiliary_variables(
         for (int value = 0; value < num_values; ++value) {
             variables.emplace_back(0, 1, 0, use_integer_vars);
 #ifndef NDEBUG
-            variables.set_name(variables.size() -1,
+            variables.set_name(variables.size() - 1,
                                "f_" + var.get_name() + "_"
                                + var.get_fact(value).get_name());
 #endif
@@ -262,7 +262,7 @@ void DeleteRelaxationConstraintsRR::create_auxiliary_variables_tl(
 
     lp_var_ids.t_offsets.resize(task_proxy.get_variables().size());
     for (VariableProxy var : task_proxy.get_variables()) {
-        lp_var_ids.t_offsets.push_back(variables.size());
+        lp_var_ids.t_offsets[var.get_id()] = variables.size();
         int num_values = var.get_domain_size();
         for (int value = 0; value < num_values; ++value) {
             variables.emplace_back(1, num_facts, 0, use_integer_vars);

diff --git a/src/search/operator_counting/operator_counting_heuristic.cc b/src/search/operator_counting/operator_counting_heuristic.cc
@@ -48,6 +48,7 @@ int OperatorCountingHeuristic::compute_heuristic(const State &ancestor_state) {
         }
     }
     int result;
+    lp_solver.write_lp("model.lp");
     lp_solver.solve();
     if (lp_solver.has_optimal_solution()) {
         double epsilon = 0.01;