From d56f3e1825457afb9904206112f62f4602d1b914 Mon Sep 17 00:00:00 2001 From: Vdaleke Date: Tue, 14 Jan 2025 00:27:58 +0300 Subject: [PATCH] HyFD-multithread: fix MaxLHS option Use MakeExecuteOptsAvailableFDInternal() instead of MakeExecuteOptsAvailable() --- src/core/algorithms/fd/hyfd/hyfd.cpp | 2 +- src/core/algorithms/fd/hyfd/hyfd.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/algorithms/fd/hyfd/hyfd.cpp b/src/core/algorithms/fd/hyfd/hyfd.cpp index 1dc3d97fc4..8be803dfe3 100644 --- a/src/core/algorithms/fd/hyfd/hyfd.cpp +++ b/src/core/algorithms/fd/hyfd/hyfd.cpp @@ -25,7 +25,7 @@ HyFD::HyFD(std::optional relation_manager) RegisterOption(config::kThreadNumberOpt(&threads_num_)); } -void HyFD::MakeExecuteOptsAvailable() { +void HyFD::MakeExecuteOptsAvailableFDInternal() { MakeOptionsAvailable({config::names::kThreads}); } diff --git a/src/core/algorithms/fd/hyfd/hyfd.h b/src/core/algorithms/fd/hyfd/hyfd.h index 993b5720e1..3b3c190934 100644 --- a/src/core/algorithms/fd/hyfd/hyfd.h +++ b/src/core/algorithms/fd/hyfd/hyfd.h @@ -44,7 +44,7 @@ class HyFD : public PliBasedFDAlgorithm { void RegisterFDs(std::vector&& fds, std::vector const& og_mapping); - void MakeExecuteOptsAvailable() override; + void MakeExecuteOptsAvailableFDInternal() override; config::ThreadNumType threads_num_ = 1;