From 7ed47bf9bfacaf8724a49ffaaf0670ccbded790a Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 14 Aug 2025 16:21:48 +0000
Subject: [PATCH] Add documentation for the translate method in solver_factory

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/solver/solver.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/solver/solver.h b/src/solver/solver.h
index cde7f4d58..b45f4f347 100644
--- a/src/solver/solver.h
+++ b/src/solver/solver.h
@@ -32,6 +32,10 @@ class solver_factory {
 public:
     virtual ~solver_factory() = default;
     virtual solver * operator()(ast_manager & m, params_ref const & p, bool proofs_enabled, bool models_enabled, bool unsat_core_enabled, symbol const & logic) = 0;
+    /**
+       \brief Create a clone of the solver factory for the given ast_manager.
+       The clone should be functionally equivalent but associated with the target manager.
+    */
     virtual solver_factory* translate(ast_manager& m) = 0;
 };