diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-10-20 08:17:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 15:17:34 +0200 |
| commit | cd1a8023502b0d6d268dafd22328d06840d04324 (patch) | |
| tree | eb5d9eef5c3a9b1aedfc46e987fd034364409bac /src/smt/smt_solver.h | |
| parent | 5fb1ec459d6d94c1326ab1befe8ce8b8fbc8cfd3 (diff) | |
Split CheckModels utility to its own file (#5303)
This utility will be undergoing major additions to make it more robust. Thus it should be moved to its own file.
There are no major code changes in this PR, a few things were changed to be consistent to the coding standard.
Diffstat (limited to 'src/smt/smt_solver.h')
| -rw-r--r-- | src/smt/smt_solver.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/smt/smt_solver.h b/src/smt/smt_solver.h index 037c9fb9c..e3cbea152 100644 --- a/src/smt/smt_solver.h +++ b/src/smt/smt_solver.h @@ -119,6 +119,8 @@ class SmtSolver TheoryEngine* getTheoryEngine(); /** Get a pointer to the PropEngine owned by this solver. */ prop::PropEngine* getPropEngine(); + /** Get a pointer to the preprocessor */ + Preprocessor* getPreprocessor(); //------------------------------------------ end access methods private: /** Reference to the parent SMT engine */ |