diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-08-04 16:46:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-04 18:46:49 -0500 |
| commit | a796c4d8461f22aa523edd3031290e0ba03edd60 (patch) | |
| tree | ccc92f5cdfbed6042ae3c8ad8291bf54e4a700ac /src/smt/command.h | |
| parent | 77551190ce7c58031dd57c3c80cad987ff5135c0 (diff) | |
Consolidate solver resets (#6986)
This PR consolidates the two different reset implementations into a single function.
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, |