diff options
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 */ |