diff options
Diffstat (limited to 'src/smt/command.h')
| -rw-r--r-- | src/smt/command.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/smt/command.h b/src/smt/command.h index 590fcace3..5a67e6685 100644 --- a/src/smt/command.h +++ b/src/smt/command.h @@ -278,6 +278,12 @@ class CVC5_EXPORT Command */ bool d_muted; + /** + * Reset the given solver in-place (keep the object at the same memory + * location). + */ + static void resetSolver(api::Solver* solver); + protected: // These methods rely on Command being a friend of classes in the API. // Subclasses of command should use these methods for conversions, |