[issue1082] remove unused field.

aibasel · Feb 8, 2024 · fa28521 · fa28521
1 parent c4e15fd
commit fa28521
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/search/operator_counting/operator_counting_heuristic.cc b/src/search/operator_counting/operator_counting_heuristic.cc
@@ -20,7 +20,6 @@ OperatorCountingHeuristic::OperatorCountingHeuristic(
     utils::Verbosity verbosity)
     : Heuristic(transform, cache_estimates, description, verbosity),
       constraint_generators(constraint_generators),
-      use_integer_operator_counts(use_integer_operator_counts),
       lp_solver(lp_solver_type) {
     lp_solver.set_mip_gap(0);
     named_vector::NamedVector<lp::LPVariable> variables;

diff --git a/src/search/operator_counting/operator_counting_heuristic.h b/src/search/operator_counting/operator_counting_heuristic.h
@@ -17,7 +17,6 @@ class ConstraintGenerator;
 
 class OperatorCountingHeuristic : public Heuristic {
     std::vector<std::shared_ptr<ConstraintGenerator>> constraint_generators;
-    const bool use_integer_operator_counts;
     lp::LPSolver lp_solver;
 protected:
     virtual int compute_heuristic(const State &ancestor_state) override;